A LTS Approach to Control in Event-B

A LTS Approach to Control in Event-B

Peng, Han, Du, Chenglie, Rao, Lei, Chen, Fu
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
2018
Year:
2018
Language:
english
Journal:
Scientific Programming
DOI:
10.1155/2018/8765186
File:
PDF, 2.66 MB
english, 2018
Conversion to is in progress
Conversion to is failed