A carregar...
Shield synthesis
Shield synthesis is an approach to enforce safety properties at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can and recovers to hand back control to the system as soon as possible. In the f...
Na minha lista:
| Publicado no: | Form Methods Syst Des |
|---|---|
| Main Authors: | , , , , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Springer US
2017
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6959420/ https://ncbi.nlm.nih.gov/pubmed/32009740 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10703-017-0276-9 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|