Conference paper

RATTRAY Charles and ŠVÉDA Miroslav. Formal Specifications of Computer-Based Systems. In: Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001, pp. 357-358. ISBN 0-7695-1086-8.
Publication language:english
Original title:Formal Specifications of Computer-Based Systems
Pages:357-358
Proceedings:Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001
Conference:The 8th IEEE International Conference and Workshop ECBS'2001
Place:Washington D.C., US
Year:2001
ISBN:0-7695-1086-8
Publisher:IEEE Computer Society
Keywords
formal specifications, computer-based systems, IEEE TC-ECBS WG-FS, IFIP 10.1
Annotation
The paper explains the origins, purpose and targets of the joint initiative of the IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems and the IFIP TC10 Working Group 10.1: Computer Aided Systems Theory. This initiative aims at the origination and implementation of the Workshop on Formal Specifications of Computer-Based Systems. Moreover, it presents the program of the previous Workshop on FSCBS'00, which was held in Edinburgh, 2000, and aimes of the current Workshop on FSCBS'01, Washington D.C., 2001.
BibTeX:
@INPROCEEDINGS{
   author = {Charles Rattray and Miroslav {\v{S}}v{\'{e}}da},
   title = {Formal Specifications of Computer-Based Systems},
   pages = {357--358},
   booktitle = {Proceedings of the 8th IEEE International Conference and
	Workshop ECBS'2001},
   year = {2001},
   location = {Washington D.C., US},
   publisher = {IEEE Computer Society},
   ISBN = {0-7695-1086-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6518}
}

Your IPv4 address: 54.196.33.246
Switch to IPv6 connection

DNSSEC [dnssec]