Detail publikace

Formal Specifications of Computer-Based Systems

ŠVÉDA, M., RATTRAY, C., ROZENBLIT, J.

Originální název

Formal Specifications of Computer-Based Systems

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální 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'01, which was held in Washington, D.C., 2001, and aimes of the current Workshop on FSCBS'02, Lund, Sweden, 2002.

Klíčová slova

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

Autoři

ŠVÉDA, M., RATTRAY, C., ROZENBLIT, J.

Rok RIV

2002

Vydáno

8. 4. 2002

Nakladatel

IEEE Computer Society

Místo

Los Alamitos, CA

ISBN

0-7695-1549-5

Kniha

Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems

Strany od

224

Strany do

225

Strany počet

2

BibTex

@inproceedings{BUT9818,
  author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems",
  booktitle="Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
  year="2002",
  pages="224--225",
  publisher="IEEE Computer Society",
  address="Los Alamitos, CA",
  isbn="0-7695-1549-5"
}