IT and formal methods in process control
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F01%3APU20874" target="_blank" >RIV/00216305:26220/01:PU20874 - 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
IT and formal methods in process control
Popis výsledku v původním jazyce
Contribution deals with utilisation of formal specification for HW/SW system design and modelling.
Název v anglickém jazyce
IT and formal methods in process control
Popis výsledku anglicky
Contribution deals with utilisation of formal specification for HW/SW system design and modelling.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JB - Senzory, čidla, měření a regulace
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2001
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 13th International Conference on Process Control 2001
ISBN
80-227-154
ISSN
—
e-ISSN
—
Počet stran výsledku
1
Strana od-do
38-38
Název nakladatele
VŠCHT Pardubice, STU Bratislava
Místo vydání
Štrbské pleso
Místo konání akce
Štrbské pleso
Datum konání akce
11. 6. 2001
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—