A carregar...
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
Cyber-Physical Systems (CPS) play a central role in modern days technology. From simple thermostat controllers to more advanced autonomous cars, their versatility makes them perfect candidates for many applications, in particular for safety critical ones. Thus, their certification is a key issue and...
Na minha lista:
| Publicado no: | Rigorous State-Based Methods |
|---|---|
| Main Authors: | , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7242035/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_12 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|