Trace Checking with Real−Time Specifications

Bibliographische Detailangaben
Hauptverfasser: Deutschmann, R, Fruth, M, Reichel, H, Reuss, H
Format: Conference item
Veröffentlicht: 2004