The use of Time-Interval Automata in the Modeling of Timed Discrete Event Systems and its Application to Opacity
| Autor: | Marques, Mariana Guimarães *, Barcelos, Raphael Julio *, Basilio, João Carlos * |
|---|---|
| Zdroj: | In IFAC PapersOnLine 2023 56(2):8654-8659 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|