Detail publikace

Formal Specifications of Computer-Based Systems

ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems. Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003. p. 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
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Rattray Charles
Rozenblit Jerzy
Klíčová slova

Formal specifications, Computer-based systems, Workshop

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
ISBN
0-7695-1917-2
Vydavatel
IEEE Computer Society
Místo
Huntsville, AL
BibTeX 
@inproceedings{BUT13955,
  author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems",
  booktitle="Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003",
  year="2003",
  pages="169--172",
  publisher="IEEE Computer Society",
  address="Huntsville, AL",
  isbn="0-7695-1917-2"
}
Nahoru