DocumentCode

2475443

Title

Formal specifications of computer-based systems

Author

Sveda, Miroslav ; Rattray, Charles ; Rozenblit, Jerzy

Author_Institution

Brno University of Technology

fYear

2002

fDate

2002

Firstpage

224

Lastpage

225

Keywords

Automata; Computer Society; Computer science; Conferences; Executive Committee; Formal specifications; Interference; Operating systems; Protocols; TCPIP;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the

Print_ISBN

0-7695-1549-5

Type

conf

DOI

10.1109/ECBS.2002.999842

Filename

999842