Detail výsledku
Formal Specifications of Computer-Based Systems
ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems. Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003. p. 169-172. ISBN: 0-7695-1917-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
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
Rok
2003
Strany
169–172
Sborník
Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003
Konference
IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
ISBN
0-7695-1917-2
Vydavatel
IEEE Computer Society
Místo
Huntsville, AL
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"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Pracoviště