Formal methods for verification and validation of distributed interacting devices

Mendel Schmiedekamp, Richard Skarbez, Shashi Phoha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Formal methods for verification and validation of distributed interacting devices'. Together they form a unique fingerprint.

Engineering & Materials Science