Runtime Verification for Timed Event Streams with Partial Information

Martin Leucker*, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma

*Korrespondierende/r Autor/-in für diese Arbeit

Fingerprint

Untersuchen Sie die Forschungsthemen von „Runtime Verification for Timed Event Streams with Partial Information“. Zusammen bilden sie einen einzigartigen Fingerprint.

Ingenieurwesen & Materialwissenschaft