Sciweavers

8 search results - page 1 / 2
» ftrtft 1998
Sort
View
FTRTFT
1998
Springer
15 years 10 months ago
Towards a Formal Semantics of Verilog Using Duration Calculus
Gerardo Schneider, Qiwen Xu
FTRTFT
1998
Springer
15 years 10 months ago
An Algorithm for the Approximative Analysis of Rectangular Automata
Jörg Preußig, Stefan Kowalewski, Howard...
FTRTFT
1998
Springer
15 years 10 months ago
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...
FTRTFT
1998
Springer
15 years 10 months ago
Predictability in Critical Systems
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
Gérard Le Lann
FTRTFT
1998
Springer
15 years 10 months ago
A Modular Visual Model for Hybrid Systems
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
Radu Grosu, Thomas Stauner, Manfred Broy