|
Author:Kristin Yvonne RozierPublications |
---|
EasyChair Preprint no. 1429 | EasyChair Preprint no. 1411 | EasyChair Preprint no. 1402 | | |
KeyphrasesClustering, cyber-physical system verification2, design space, Design Space Exploration, formal verification2, Functional Verification, Grouping, hardware verification, incremental verification, Localization, model checking3, model sets, multi-property, Multiple Properties, partitioning, runtime benchmarks, runtime verification2, System Health Management, temporal logic2. |
|
|