Detail výsledku
Formal Specifications of Computer-Based Systems
ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems. Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002. p. 224-225. ISBN: 0-7695-1549-5.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Abstrakt
The paper explains the origins, purpose and targets of the 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. Moreover, it presents the program of the previous Workshop on FSCBS'01, which was held in Washington, D.C., 2001, and aimes of the current Workshop on FSCBS'02, Lund, Sweden, 2002.
Klíčová slova
formal specifications, computer-based systems, IEEE TC-ECBS WG-FS, IFIP 10.1
Rok
2002
Strany
224–225
Sborník
Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Konference
IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
ISBN
0-7695-1549-5
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, CA
BibTeX
@inproceedings{BUT9818,
author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
title="Formal Specifications of Computer-Based Systems",
booktitle="Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
year="2002",
pages="224--225",
publisher="IEEE Computer Society",
address="Los Alamitos, CA",
isbn="0-7695-1549-5"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Pracoviště