Publication Details

Formal Specifications of Computer-Based Systems

ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002, pp. 224-225. ISBN 0-7695-1549-5.
Czech title
Formální specifikace systémů založených na počítačích
Type
conference paper
Language
english
Authors
Švéda Miroslav, Prof. Ing., CSc. (DCSY FIT BUT)
Rattray Charles ( unknown)
Rozenblit Jerzy ( unknown)
Keywords

formal specifications, computer-based systems, IEEE TC-ECBS WG-FS, IFIP 10.1

Abstract

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.

Published
2002
Pages
224-225
Proceedings
Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Conference
IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Lund, SE
ISBN
0-7695-1549-5
Publisher
IEEE Computer Society
Place
Los Alamitos, CA, US
BibTeX 
@INPROCEEDINGS{FITPUB6892,
   author = "Miroslav \v{S}v\'{e}da and Charles Rattray and Jerzy Rozenblit",
   title = "Formal Specifications of Computer-Based Systems",
   pages = "224--225",
   booktitle = "Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
   year = 2002,
   location = "Los Alamitos, CA, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-1549-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6892"
}
Back to top