DocumentCode :
3127772
Title :
Specifying and verifying a railroad crossing with cafeOBJ
Author :
Ogata, Kazuhiro ; Futatsugi, Kokichi
Author_Institution :
JAIST
fYear :
2000
fDate :
23-27 April 2000
Firstpage :
1526
Lastpage :
1533
Keywords :
Clocks; Computational modeling; Information science; Object oriented modeling; Railway safety; Real time systems; Specification languages; State-space methods;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel and Distributed Processing Symposium., Proceedings 15th International
Conference_Location :
San Francisco, CA, USA
ISSN :
1530-2075
Print_ISBN :
0-7695-0990-8
Type :
conf
DOI :
10.1109/IPDPS.2001.925137
Filename :
925137
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3127772
بازگشت