103 search results - page 10 / 21 » A Formal Methods Approach to Medical Device Review |
SUM
2007
Springer
14 years 4 months ago
2007
Springer
In medical clinical trials, overall trial results are highlighted in the s of papers/reports. These results are summaries of underlying statistical analysis where most of the time ...
ESEC
1999
Springer
14 years 3 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
RE
2006
Springer
13 years 10 months ago
2006
Springer
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
IFM
2010
Springer
13 years 8 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
DATE
2007
IEEE
14 years 5 months ago
2007
IEEE
An important aspect of Design for Yield for embedded SRAM is identifying the expected worst case behavior in order to guarantee that sufficient design margin is present. Previousl...