Detail publikace

Modelling of Safety-Critical Computer Systems

DRÁBEK Vladimír. Modelling of Safety-Critical Computer Systems. In: MOSIS´98. Bystřice pod Hostýnem, 1998, s. 221-227. ISBN 80-85988-23-2.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rok
1998
Strany
221-227
Sborník
MOSIS´98
Svazek
1
ISBN
80-85988-23-2
Místo
Bystřice pod Hostýnem, CZ
BibTeX
@INPROCEEDINGS{FITPUB5617,
   author = "Vladim\'{i}r Dr\'{a}bek",
   title = "Modelling of Safety-Critical Computer Systems",
   pages = "221--227",
   booktitle = "MOSIS98",
   volume = 1,
   year = 1998,
   location = "Byst\v{r}ice pod Host\'{y}nem, CZ",
   ISBN = "80-85988-23-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5617"
}
Nahoru