Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems
| Autor: | Carlo Motta, FRANCESCO BASILE, Gianmaria De Tommasi, Claudio Sterle |
|---|---|
| Přispěvatelé: | Basile, Francesco, De Tommasi, Gianmaria, Motta, Carlo, Sterle, Claudio |
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: | |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|