Reference : Formal Specification, Verification, and Implementation of Fault-Tolerant Systems usin...
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22651
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
English
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
Guaspari, David []
Bickford, Mark [Cornell University > Computer Science Department]
Constable, Robert L. [Cornell University > Computer Science Department]
2015
EASST
Yes
15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
September 2015
http://hdl.handle.net/10993/22651
Presented at AVoCS 2015

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
two-thirds-consensus-1c_dg.pdfAuthor postprint292.74 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.