3082 search results - page 52 / 617 » Deviation Analysis: A New Use of Model Checking |
137
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
183
click to vote
RE
1999
Springer
15 years 9 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
172
click to vote
ENTCS
2008
15 years 5 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
148
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
152
click to vote
BMCBI
2002
15 years 5 months ago
2002
Background: The biomedical community is developing new methods of data analysis to more efficiently process the massive data sets produced by microarray experiments. Systematic an...