Author of the publication

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)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)A looming fault tolerance software crisis?. ACM SIGSOFT Softw. Eng. Notes, 32 (2): 1-4 (2007)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)On developing and verifying design abstractions for reliable concurrent programming in Ada., , , , , and . IRTAW, page 48-55. ACM, (2000)