Conference paper

PICHLER Franz, RATTRAY Charles and ŠVÉDA Miroslav. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. In: Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000, pp. 382-382. ISBN 0-7695-0604-6.
Publication language:english
Original title:IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
Title (cs):IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
Pages:382-382
Proceedings:Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000
Conference:7th IEEE International Conference and Workshop ECBS'2000
Place:Napier University, Edinburgh, GB
Year:2000
ISBN:0-7695-0604-6
Publisher:IEEE Computer Society
Keywords
Fomal specification, verification, formal tools
Annotation
The paper explains the origins, purpose and targets of the new, 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.
BibTeX:
@INPROCEEDINGS{
   author = {Franz Pichler and Charles Rattray and Miroslav
	{\v{S}}v{\'{e}}da},
   title = {IEEE/IFIP Joint Workshop on Formal Specifications of
	Computer-Based Systems},
   pages = {382--382},
   booktitle = {Proceedings of the 7th IEEE International Conference and
	Workshop ECBS'2000},
   year = {2000},
   location = {Napier University, Edinburgh, GB},
   publisher = {IEEE Computer Society},
   ISBN = {0-7695-0604-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6508}
}

Your IPv4 address: 54.224.50.28
Switch to IPv6 connection

DNSSEC [dnssec]