|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 16 van 80 gevonden artikelen
| Titel: |
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification ⁎ ⁎ This work was carried out within the project SyTec - Systematic Testing of Cyber-Physical Systems, a Swedish Science Foundation grant for strong research environment. The support is gratefully acknowledged. |
| Auteur: |
Noori-Hosseini, Mona Lennartson, Bengt Hadjicostis, Christoforos |
| Verschenen in: |
IFAC-PapersOnLine |
| Paginering: | Jaargang 51 () nr. 7 pagina's 434-441 |
| Jaar: |
2018 |
| Inhoud: | |
| Uitgever: |
Published by Elsevier B.V. |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 16 van 80 gevonden artikelen
| << vorige | volgende >> |