Publication Details

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems

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.
Czech title
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
Type
conference paper
Language
english
Authors
Pichler Franz, prof. (JKUL)
Rattray Charles ( unknown)
Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)
Keywords

Fomal specification, verification, formal tools

Abstract

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.

Published
2000
Pages
382-382
Proceedings
Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000
Conference
7th IEEE International Conference and Workshop ECBS'2000, Napier University, Edinburgh, Scotland, GB
ISBN
0-7695-0604-6
Publisher
IEEE Computer Society
Place
Napier University, Edinburgh, GB
BibTeX 
@INPROCEEDINGS{FITPUB6508,
   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 = "https://www.fit.vut.cz/research/publication/6508"
}
Back to top