A carregar...
Exploring the Concept of Abstract State Machines for System Runtime Enforcement
Modern intelligent software systems are rapidly growing in complexity and scale, and many real usage scenarios might be impossible to reproduce and validate at design-time. As envisioned by the Models@run.time research community, the use of formal models at runtime are fundamental to address this ch...
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/PMC7242040/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_18 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|