Concepedia
SAE technical papers on CD-ROM/SAE technical paper series · 2001 · 33 citations · 2 references
Timing AnalysisTemporal LogicTime DisseminationTimed System
2
Composability in the Time–Triggered Architecture
Hermann Kopetz · SAE technical papers on CD-ROM/SAE technical paper series · 2000 · 15 citations
Engineering, Real-time System Design, Formal Methods +8
The Steer-By-Wire Prototype Implementation:Realizing Time Triggered System Design, Fail Silence Behavior and Active Replication with Fault-Tolerance Support
Thomas Führer, Anton Schedl · SAE technical papers on CD-ROM/SAE technical paper series · 1999 · 13 citations