visualSTATE
From MaRDI portal
VisualSTATE
Cited in
(9)- scientific article; zbMATH DE number 2102715 (Why is no real title available?)
- Verification of hierarchical state/Event systems using reusability and compositionality
- An automatic method for the dynamic construction of abstractions of states of a formal model
- Compositional SCC analysis for language emptiness
- On-line monitoring of large Petri net models under partial observation
- scientific article; zbMATH DE number 1693529 (Why is no real title available?)
- APS-1
- APS
- VIS
This page was built for software: visualSTATE