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 journalArticle

Original languageEnglish
Pages (from-to)132-146
JournalIEEE Transactions on Industrial Informatics
Volume5
Issue number2
DOIs
Publication statusPublished - 2009

Cite this