A Timed Model of Circus with the Reactive Design Miracle

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.40 ◽

2010 ◽

Cited By ~ 4

Author(s):

Kun Wei ◽

Jim Woodcock ◽

Alan Burns

Download Full-text