Sciweavers

10891 search results - page 132 / 2179
» Combining Model Reductions
Sort
View
FM
2003
Springer
139views Formal Methods» more  FM 2003»
15 years 8 months ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
3DPVT
2002
IEEE
130views Visualization» more  3DPVT 2002»
15 years 8 months ago
A Practical Approach for 3D Model Indexing by combining Local and Global Invariants
Jean-Philippe Vandeborre, Vincent Couillet, Mohame...
ICRA
2000
IEEE
69views Robotics» more  ICRA 2000»
15 years 7 months ago
Combination of Model-Based and Reactive Methods in Autonomous Navigation
Darío Maravall Gómez-Allende, Javier...
ICCAD
1999
IEEE
59views Hardware» more  ICCAD 1999»
15 years 7 months ago
Parameterized RTL power models for combinational soft macros
Alessandro Bogliolo, Roberto Corgnati, Enrico Maci...