Detail publikace

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

PICHLER, F.; RATTRAY, C.; ŠVÉDA, M. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000. p. 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
anglicky
Autoři
PICHLER, F.
Rattray Charles
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

Fomal specification, verification, formal tools

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
ISBN
0-7695-0604-6
Vydavatel
IEEE Computer Society
Místo
Napier University, Edinburgh
BibTeX 
@inproceedings{BUT191518,
  author="PICHLER, F. and RATTRAY, C. and ŠVÉDA, M.",
  title="IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems",
  booktitle="Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000",
  year="2000",
  pages="382--382",
  publisher="IEEE Computer Society",
  address="Napier University, Edinburgh",
  isbn="0-7695-0604-6"
}
Nahoru