Detail publikace

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

PICHLER Franz, RATTRAY Charles a Š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, s. 382-382. ISBN 0-7695-0604-6.
Název česky
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Pichler Franz, prof. (JKUL)
Rattray Charles ( neznámá)
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT)
Abstrakt

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.

Rok
2000
Strany
382-382
Sborník
Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000
Konference
7th IEEE International Conference and Workshop ECBS'2000, Napier University, Edinburgh, Scotland, GB
ISBN
0-7695-0604-6
Vydavatel
IEEE Computer Society
Místo
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"
}
Nahoru