Publications

Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems

AuthID
P-00A-3MX

Author(s)

Barbosa, R

Karlsson, J

Document Type

Proceedings Paper

Year published

2008

Published

in SIES'2008 - 3rd International Symposium on Industrial Embedded Systems in SIES

Pages: 192-199

Conference

Sies'2008 - 3Rd International Symposium on Industrial Embedded Systems, Date: 11 June 2008 through 13 June 2008, Location: Montpellier - La Grande Motte, Sponsors: IEEE IES;LIRMM;CNRS;UM2

Indexing

Scopus^®

Dblp^®/en/publications/view/331421

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/sies.2008.4577699

DBLP: conf/sies/BarbosaK08

SCOPUS: 2-s2.0-51549121798

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems

Useful Links

Get Help

Federated Authentication (Click on the image)

Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems

Useful Links

Get Help