general tt systems | Sciweavers

159

HASE
2008
IEEE

194views Control Systems» more HASE 2008»

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications

15 years 3 months ago

Download www.deeds.informatik.tu-darmstadt.de

Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...

Kohei Sakurai, Péter Bokor, Neeraj Suri

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers