448 search results - page 37 / 90 » A Meta-Method for Formal Method Integration |
122
click to vote
ISOLA
2007
Springer
15 years 9 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
153
click to vote
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
124
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
246
click to vote
GIS
2008
ACM
16 years 4 months ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
153
click to vote
JCB
2006
15 years 3 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...