Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - A Combined Formal & Experimental Approach

Andreas Steininger, Eric Armengaud, Matthias Függer

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - A Combined Formal & Experimental Approach'. Together they form a unique fingerprint.

Engineering

Computer Science

Mathematics