Publication | Closed Access
The dynamic structure discrete event system specification formalism
46
Citations
0
References
1996
Year
EngineeringDiscrete Event SystemAutomated ReasoningEvent-driven ProgrammingFormal MethodsSystems EngineeringComputer ScienceFormal VerificationSystem Specification
No additional data available for this publication yet. Check back later!