[IEEE 2005 IEEE Conference on Emerging Technologies and...

[IEEE 2005 IEEE Conference on Emerging Technologies and Factory Automation - Catania, Italy (19-22 Sept. 2005)] 2005 IEEE Conference on Emerging Technologies and Factory Automation - Verification of a timed multitask system with UPPAAL

bel Mokadem, H., Berard, B., Gourcuff, V., Roussel, J.-M., de Smet, O.

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:

Year:

2005

Language:

english

DOI:

10.1109/ETFA.2005.1612699

File:

PDF, 5.31 MB

english, 2005

Conversion to is in progress

Conversion to is failed