Detail publikace

Formal Specifications of Computer-Based Systems

ŠVÉDA Miroslav, RATTRAY Charles a 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, s. 224-225. ISBN 0-7695-1549-5.
Název česky
Formální specifikace systémů založených na počítačích
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švéda Miroslav, Prof. Ing., CSc. (UPSY FIT VUT)
Rattray Charles ( neznámá)
Rozenblit Jerzy ( neznámá)
Abstrakt

Příspěvek objasňuje počátky, účel a cíle spojené iniciativy IEEE Society Technical Committee on Engineering of Computer-Based Systems a IFIP TC10 Working Group 10.1: Computer Aided Systems Theory. Tato iniciativa směřuje k implementaci workshopu Formal Specifications of Computer-Based Systems. Dále příspěvek prezentuje program předcházejícího workshopu FSCBS'01, který se konal ve Washingtonu, D.C., v roce 2001 a také uvádí cíle současného workshopu FSCBS'02 v Lundu ve Švédsku, 2002.

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, Lund, SE
ISBN
0-7695-1549-5
Vydavatel
IEEE Computer Society
Místo
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"
}
Nahoru