visualSTATE

swMATH7481MaRDI QIDQ19511FDOQ19511

Author name not available (Why is that?)

Described by source

• Verification of large state/event systems using compositionality and dependency analysis

Cited In (6)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

This page was built for software: visualSTATE