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"
}