1988 search results - page 241 / 398 » Engineering formal metatheory |
129
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
170
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
185
click to vote
DSN
2007
IEEE
16 years 26 days ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
186
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
165
click to vote
ICDE
2007
IEEE
16 years 26 days ago
2007
IEEE
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....