Sciweavers

ICECCS
2008
IEEE

Verifying Statecharts with State Invariants

14 years 7 months ago
Verifying Statecharts with State Invariants
Emil Sekerinski
Added 30 May 2010
Updated 30 May 2010
Type Conference
Year 2008
Where ICECCS
Authors Emil Sekerinski
Comments (0)