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

This contribution in its first section describes origins of the joint initiative of the IEEE Computer Society TC-ECBS and the IFIP WG10.1 resulting in the IEEE/IFIP Joint Workshops on Formal Specifications of Computer-Based Systems in frame of Formal Specifications Working Group sessions following annual ECBS Conferences. Next sections inform about the program of the first three Joint Workshops held in Edinbourgh, UK, Washington, D.C., USA, and Lund, Sweden and announce the current Joint Workshop 2003.

Klíčová slova

Formal specifications, Computer-based systems, Workshop

Autoři

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

Rok RIV

2003

Vydáno

7. 4. 2003

Nakladatel

IEEE Computer Society

Místo

Huntsville, AL

ISBN

0-7695-1917-2

Kniha

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

Strany od

169

Strany do

172

Strany počet

4

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"
}