Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude - Concepedia

Concepedia

Publication | Closed Access

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

35

Citations

33

References

2010

Year

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis

Science of Computer Programming

EngineeringDiscrete Event SystemDiscrete ModelingAutomated ReasoningFormal MethodsReal-time MaudeDiscrete-event SimulationFormal Verification

References

	Year	Citations

Page 1