Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML

RAHLI, Vincent; Guaspari, David; Bickford, Mark; Constable, Robert L.

doi:10.14279/tuj.eceasst.72.1013.1007

Download

Paper published in a journal (Scientific congresses, symposiums and conference proceedings)

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML

RAHLI, Vincent; Guaspari, David; Bickford, Mark et al.

2015 • In EASST

Peer reviewed

Permalink
https://hdl.handle.net/10993/22651

DOI
10.14279/tuj.eceasst.72.1013.1007

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

two-thirds-consensus-1c_dg.pdf

Author postprint (299.77 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

RAHLI, Vincent ; 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

External co-authors :

yes

Language :

English

Title :

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML

Publication date :

2015

Event name :

15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)

Event date :

September 2015

Journal title :

EASST

Peer reviewed :

Peer reviewed

Commentary :

Presented at AVoCS 2015

Available on ORBilu :

since 30 November 2015

Statistics

Number of views

101 (16 by Unilu)

Number of downloads

153 (1 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations