Title :
Formal specification and temporal proof techniques for mixed systems
Author :
Royer, Jean Claude
Author_Institution :
IRIN
Keywords :
Algebra; Automata; Concurrent computing; Formal specifications; Graphics; Guidelines; Logic; Proposals; Sociotechnical systems; Software engineering;
Conference_Titel :
Parallel and Distributed Processing Symposium., Proceedings 15th International
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-7695-0990-8
DOI :
10.1109/IPDPS.2001.925139
