Carregant...
Formal Verification of Control Modules in Cyber-Physical Systems
The paper proposes a novel formal verification method for a state-based control module of a cyber-physical system. The initial specification in the form of user-friendly UML state machine diagrams is written as an abstract rule-based logical model. The logical model is then used both for formal veri...
Guardat en:
| Publicat a: | Sensors (Basel) |
|---|---|
| Autor principal: | |
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
MDPI
2020
|
| Matèries: | |
| Accés en línia: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7570814/ https://ncbi.nlm.nih.gov/pubmed/32927612 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.3390/s20185154 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|