Formal Methods and Software Engineering: 16th International ...
Preview
171 Lin Gui, Jun Sun, Songzheng Song, Yang Liu, and Jin Song Dong Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior ......................................... 187 Klaus Havelund and Rajeev Joshi Timed Automata ...