Formal Specifications of Computer-Based Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42513" target="_blank" >RIV/00216305:26230/03:PU42513 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Formal Specifications of Computer-Based Systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Embedded control systems and their inter-communication</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003
ISBN
0-7695-1917-2
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
169-172
Publisher name
IEEE Computer Society
Place of publication
Huntsville, AL
Event location
Huntsville, Alabama
Event date
Apr 7, 2003
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—