Title :
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
Author :
Sveda, Miroslav ; Pichler, Franz ; Rattray, Charles
Author_Institution :
Technical University of Brno
Conference_Titel :
Engineering of Computer Based Systems, 2000. (ECBS 2000) Proceedings. Seventh IEEE International Conference and Workshopon the
Conference_Location :
Edinburgh, UK
Print_ISBN :
0-7695-0604-6
DOI :
10.1109/ECBS.2000.839899
