Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method

Luca Pazzi, Matteo Interlandi, Marco Pradelli. Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method. In 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010. pages 166-167, IEEE Computer Society, 2010. [doi]

Authors

Luca Pazzi

This author has not been identified. Look up 'Luca Pazzi' in Google

Matteo Interlandi

This author has not been identified. Look up 'Matteo Interlandi' in Google

Marco Pradelli

This author has not been identified. Look up 'Marco Pradelli' in Google