Trace Checking with Real-Time Specifications
Rocco Deutschmann, Matthias Fruth, Horst Reichel and Hans-Christian Reuss infobook title | Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004) |
year | 2004 |
links
BibTeX
Download (pdf)
related pages
|
