Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta. Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. In Erika Ábrahám, Klaus Havelund, editors, Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Volume 8413 of Lecture Notes in Computer Science, pages 326-340, Springer, 2014. [doi]

This author has not been identified. Look up 'Marco Bozzano' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Marco Gario' in GoogleThis author has not been identified. Look up 'Stefano Tonetta' in Google

runs on WebDSL