Publicações

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^®/pt/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

Lista Marked

Adicionar à lista Marked

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

Autenticação Federada (Click on the image)

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

Useful Links

Get Help