- Tytuł:
- Monitoring with Parametrized Extended Life Sequence Charts
- Autorzy:
-
Chai, M.
Schlingloff, B. -H. - Data publikacji:
- 2017
- Słowa kluczowe:
-
hybrid logic
live sequence charts
LTL
parameterized property
runtime verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł