A computable and compositional semantics for hybrid systems
| Autor: | Bresolin, Davide, Collins, Pieter, Geretti, Luca, Segala, Roberto, Villa, Tiziano, Živanović Gonzalez, Sanja |
|---|---|
| Zdroj: | In Information and Computation October 2024 300 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect