C. Bernardeschi, L. Simoncini, A. Fantechi, "Validating the Design of Dependable Systems," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 364, The First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1998.

@article{ 10.1109/ISORC.1998.666809,
author = {C. Bernardeschi and L. Simoncini and A. Fantechi},
title = {Validating the Design of Dependable Systems},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {1998},
isbn = {0-8186-8430-5},
pages = {364},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.1998.666809},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Validating the Design of Dependable Systems
SN - 0-8186-8430-5
SP
EP
A1 - C. Bernardeschi,
A1 - L. Simoncini,
A1 - A. Fantechi,
PY - 1998
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -