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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
C. Bernardeschi, L. Simoncini, A. Fantechi, "Validating the Design of Dependable Systems," isorc, pp.364, The First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1998