DocumentCode

1969564

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

fYear

2000

fDate

3-7 April 2000

Firstpage

382

Lastpage

382

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ECBS.2000.839899

Filename

839899