Detail výsledku

Formal Specifications of Computer-Based Systems

RATTRAY, C.; ŠVÉDA, M. Formal Specifications of Computer-Based Systems. Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001. p. 357-358. ISBN: 0-7695-1086-8.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rattray Charles
Švéda Miroslav, prof. Ing., CSc.
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'00, which was held in Edinburgh, 2000, and aimes of the current Workshop on FSCBS'01, Washington D.C., 2001.

Klíčová slova

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

Rok
2001
Strany
357–358
Sborník
Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001
Konference
The 8th IEEE International Conference and Workshop ECBS'2001
ISBN
0-7695-1086-8
Vydavatel
IEEE Computer Society
Místo
Washington D.C.
BibTeX 
@inproceedings{BUT5426,
  author="Charles {Rattray} and Miroslav {Švéda}",
  title="Formal Specifications of Computer-Based Systems",
  booktitle="Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001",
  year="2001",
  pages="357--358",
  publisher="IEEE Computer Society",
  address="Washington D.C.",
  isbn="0-7695-1086-8"
}
Výzkumné skupiny
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Fakulta informačních technologií (FIT)
Ústav mikroelektroniky (UMEL)
Nahoru