4636 search results - page 194 / 928 » Modelling and Validation with VipTool |
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
ASM
2008
ASM
13 years 10 months ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
: Biomechanical model of soft tissue for remote probing based on observed experimental data is critical for developing a reality-based model for minimally invasive surgical trainin...
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
Accurate electrical masking modeling represents a significant challenge in soft error rate analysis for combinational logic circuits. In this paper, we use table lookup MOSFET mode...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...