The following pages link to visualSTATE (Q19511):
Displaying 6 items.
- Verification of hierarchical state/Event systems using reusability and compositionality (Q698109) (← links)
- On-line monitoring of large Petri net models under partial observation (Q732251) (← links)
- An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756) (← links)
- Compositional SCC analysis for language emptiness (Q2505627) (← links)
- (Q2764134) (← links)
- (Q4818799) (← links)