Time-Safety Checking for Embedded Programs

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45828-x_7 ◽

2002 ◽

pp. 76-92 ◽

Cited By ~ 11

Author(s):

Thomas A. Henzinger ◽

Christoph M. Kirsch ◽

Rupak Majumdar ◽

Slobodan Matic

Download Full-text