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 IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, s. 169-172. ISBN 0-7695-1917-2.
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. (UIFS FIT VUT)
Rattray Charles ( neznámá)
Rozenblit Jerzy ( neznámá)
Abstrakt

Příspěvek ve své první části popisuje počátky spojené iniciativy IEEE Computer Society TC-ECBS a IFIP WG10.1 definované v rámci pracovní skupiny Formal Specifications tohoto technického výboru, jejímž výsledkem byl vznik IEEE/IFIP workshopů Formal Specifications of Computer-Based Systems. Další části informují o programech prvních tří workshopů konaných v Edinbourghu, UK, Washingtonu, D.C., USA, a Lundu, Švédsko a ohlašují aktuální workshop 2003. 

Rok
2003
Strany
169-172
Sborník
Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003
Konference
IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, Alabama, US
ISBN
0-7695-1917-2
Vydavatel
IEEE Computer Society
Místo
Huntsville, AL, US
BibTeX 
@INPROCEEDINGS{FITPUB7155,
   author = "Miroslav \v{S}v\'{e}da and Charles Rattray and Jerzy Rozenblit",
   title = "Formal Specifications of Computer-Based Systems",
   pages = "169--172",
   booktitle = "Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003",
   year = 2003,
   location = "Huntsville, AL, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-1917-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7155"
}
Nahoru