DocumentCode
2666817
Title
Developing Correct Systems
Author
Bowen, Jonathan ; Olderog, Ernst-Rüdiger ; Fränzle, Martin ; Ravin, A.P.
Author_Institution
Oxford University Computing Laboratory, UK
fYear
1993
fDate
22-24 June 1993
Firstpage
176
Lastpage
187
Keywords
Actuators; Control systems; Control theory; Embedded computing; Hardware; Laboratories; Logic; Mathematical model; Real time systems; Sensor phenomena and characterization;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on
Conference_Location
Oulu, Finland
ISSN
1068-3070
Print_ISBN
0-8186-4110-X
Type
conf
DOI
10.1109/EMWRT.1993.639088
Filename
639088
Link To Document