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