Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems. (2021)
Attributed to:
Security and Privacy in Smart Grid Systems: Countermeasure and Formal Verification
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.3390/mi12091059
PubMed Identifier: 34577703
Publication URI: http://europepmc.org/abstract/MED/34577703
Type: Journal Article/Review
Volume: 12
Parent Publication: Micromachines
Issue: 9
ISSN: 2072-666X