Publication Details

Formal Specifications of Computer-Based Systems

ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, pp. 169-172. ISBN 0-7695-1917-2.
Czech title
Formální specifikace systémů založených na počítačích
Type
conference paper
Language
english
Authors
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Rattray Charles ( unknown)
Rozenblit Jerzy ( unknown)
Keywords

Formal specifications, Computer-based systems, Workshop

Abstract

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.

Published
2003
Pages
169-172
Proceedings
Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003
Conference
IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, Alabama, US
ISBN
0-7695-1917-2
Publisher
IEEE Computer Society
Place
Huntsville, AL, US
BibTeX 
@INPROCEEDINGS{FITPUB7155,
   author = "Miroslav \v{S}v\'{e}da and Charles Rattray and Jerzy Rozenblit",
   title = "Formal Specifications of Computer-Based Systems",
   pages = "169--172",
   booktitle = "Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003",
   year = 2003,
   location = "Huntsville, AL, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-1917-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7155"
}
Back to top