Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Raul Barbosa, Johan Karlsson. Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems. In IEEE Third International Symposium on Industrial Embedded Systems - SIES 2008, Montpellier / La Grande Motte, France, 11-13 June 2008. pages 192-199, IEEE, 2008. [doi]

This author has not been identified. Look up 'Raul Barbosa' in GoogleThis author has not been identified. Look up 'Johan Karlsson' in Google

runs on WebDSL