Trace Checking with Real−Time Specifications
Rocco Deutschmann‚ Matthias Fruth‚ Horst Reichel and Hans−Christian Reuss
Book Title
Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)
Year
2004