Title :
Formal specifications of computer-based systems
Author :
Sveda, Miroslav ; Rattray, Charles ; Rozenblit, Jerzy
Author_Institution :
Brno University of Technology
Keywords :
Automata; Computer Society; Computer science; Conferences; Executive Committee; Formal specifications; Interference; Operating systems; Protocols; TCPIP;
Conference_Titel :
Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the
Print_ISBN :
0-7695-1549-5
DOI :
10.1109/ECBS.2002.999842
