Conference paper

ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, pp. 169-172. ISBN 0-7695-1917-2.
Publication language:english
Original title:Formal Specifications of Computer-Based Systems
Title (cs):Formální specifikace systémů založených na počítačích
Pages:169-172
Proceedings:Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003
Conference:IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Place:Huntsville, AL, US
Year:2003
ISBN:0-7695-1917-2
Publisher:IEEE Computer Society
Keywords
Formal specifications, Computer-based systems, Workshop
Annotation
This contribution in its first section describes origins of the joint initiative of the IEEE Computer Society TC-ECBS and the IFIP WG10.1 resulting in the IEEE/IFIP Joint Workshops on Formal Specifications of Computer-Based Systems in frame of Formal Specifications Working Group sessions following annual ECBS Conferences. Next sections inform about the program of the first three Joint Workshops held in Edinbourgh, UK, Washington, D.C., USA, and Lund, Sweden and announce the current Joint Workshop 2003.
BibTeX:
@INPROCEEDINGS{
   author = {Miroslav {\v{S}}v{\'{e}}da and Charles Rattray and Jerzy
	Rozenblit},
   title = {Formal Specifications of Computer-Based Systems},
   pages = {169--172},
   booktitle = {Proceedings of the IEEE International Conference and
	Workshop on the Engineering of Computer-Based Systems 2003},
   year = {2003},
   location = {Huntsville, AL, US},
   publisher = {IEEE Computer Society},
   ISBN = {0-7695-1917-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7155}
}

Your IPv4 address: 54.166.150.10
Switch to IPv6 connection

DNSSEC [dnssec]