Author of the publication

Modelling for Systems with Holistic Fault Tolerance.

, , , , and . SERENE, volume 10479 of Lecture Notes in Computer Science, page 169-183. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A distributed coordinated atomic action scheme., and . Comput. Syst. Sci. Eng., 16 (4): 237-247 (2001)A looming fault tolerance software crisis?. ACM SIGSOFT Softw. Eng. Notes, 32 (2): 1-4 (2007)Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report., , , , , , , , , and . ACM SIGSOFT Softw. Eng. Notes, 29 (5): 1-10 (2004)About Conversations for Concurrent OO Languages.. ACM SIGPLAN Notices, 29 (9): 17-21 (1994)Mutation Testing for Rule-Based Verification of Railway Signaling Data., , and . IEEE Trans. Reliab., 70 (2): 676-691 (2021)Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16)., , and . NII Shonan Meet. Rep., (2018)Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14)., and . NII Shonan Meet. Rep., (2014)Preface., , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2011)Guest Editors' Introduction - Current Trends in Exception Handling., , and . IEEE Trans. Software Eng., 26 (10): 921-922 (2000)A study of atomic action schemes intended for standard Ada.. J. Syst. Softw., 43 (1): 29-44 (1998)