Formal Specification of a Safety Shell in Real-Time Control...

IFAC Proceedings Volumes 2000 / 05 Vol. 33; Iss. 7

Formal Specification of a Safety Shell in Real-Time Control Practice

Sahraoui, Abd-El-Kader, Anderson, Eric, Katwijk, Jan van, Zalewski, Janusz
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:
33
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.1016/s1474-6670(17)39941-x
Date:
May, 2000
File:
PDF, 1.52 MB
english, 2000
Conversion to is in progress
Conversion to is failed