Detail publikace

Formal Specifications of Computer-Based Systems

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

Originální název

Formal Specifications of Computer-Based Systems

Anglický název

Formal Specifications of Computer-Based Systems

Jazyk

en

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'00, which was held in Edinburgh, 2000, and aimes of the current Workshop on FSCBS'01, Washington D.C., 2001.

Anglický 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.

Dokumenty

BibTex


@inproceedings{BUT5426,
  author="Charles {Rattray} and Miroslav {Švéda}",
  title="Formal Specifications of Computer-Based Systems",
  annote="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.",
  address="IEEE Computer Society",
  booktitle="Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001",
  chapter="5426",
  institution="IEEE Computer Society",
  year="2001",
  month="january",
  pages="357--358",
  publisher="IEEE Computer Society",
  type="conference paper"
}