Formal Specifications of Computer-Based Systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F02%3APU36178" target="_blank" >RIV/00216305:26230/02:PU36178 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formal Specifications of Computer-Based Systems
Popis výsledku v původním jazyce
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'01, which was held in Washington, D.C., 2001, and aimes of the current Workshoop on FSCBS'02, Lund, Sweden, 2002.
Název v anglickém jazyce
Formal Specifications of Computer-Based Systems
Popis výsledku anglicky
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'01, which was held in Washington, D.C., 2001, and aimes of the current Workshoop on FSCBS'02, Lund, Sweden, 2002.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Vestavěné řídicí systémy a jejich vzájemná komunikace</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2002
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
ISBN
0-7695-1549-5
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
224-225
Název nakladatele
IEEE Computer Society Press
Místo vydání
Los Alamitos, CA
Místo konání akce
Lund
Datum konání akce
8. 4. 2002
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—