Sciweavers

8 search results - page 1 / 2
» ftrtft 1998
Sort
View
FTRTFT
1998
Springer
13 years 8 months ago
Towards a Formal Semantics of Verilog Using Duration Calculus
Gerardo Schneider, Qiwen Xu
FTRTFT
1998
Springer
13 years 8 months ago
An Algorithm for the Approximative Analysis of Rectangular Automata
Jörg Preußig, Stefan Kowalewski, Howard...
FTRTFT
1998
Springer
13 years 8 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
13 years 8 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
13 years 8 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