On applicability of formal methods and tools to dependable services

Fuyuki Ishikawa, Shinichi Honiden

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'On applicability of formal methods and tools to dependable services'. Together they form a unique fingerprint.

Engineering & Materials Science