Publication Details

Modelling of Safety-Critical Computer Systems

DRÁBEK, V. Modelling of Safety-Critical Computer Systems. MOSIS´98. Bystřice pod Hostýnem: 1998. p. 221-227. ISBN: 80-85988-23-2.
Type
conference paper
Language
English
Authors
Published
1998
Pages
221–227
Proceedings
MOSIS´98
Volume
1
ISBN
80-85988-23-2
Place
Bystřice pod Hostýnem
BibTeX
@inproceedings{BUT192315,
  author="Vladimír {Drábek}",
  title="Modelling of Safety-Critical Computer Systems",
  booktitle="MOSIS´98",
  year="1998",
  volume="1",
  pages="221--227",
  address="Bystřice pod Hostýnem",
  isbn="80-85988-23-2"
}
Back to top