Fingerprint
Dive into the research topics of 'Hierarchical multi-formalism proofs of cyber-physical systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Hierarchical multi-formalism proofs of cyber-physical systems
Michael W Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Heimdahl, Insup Lee
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3
Scopus
citations