Publication | Closed Access

Conflict-preserving abstraction of discrete event systems using annotated automata

Logical AutomatonEngineeringDiscrete Event SystemAutomated ReasoningEvent-driven ProgrammingAutomationFormal MethodsSystems EngineeringComputer ScienceConflict-preserving AbstractionFormal Verification