521 search results - page 6 / 105 » Timing Verification Using HDTV |
86
Voted
AUTOMATICA
1999
15 years 1 months ago
1999
JLP
2011
14 years 9 months ago
2011
123
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
112
click to vote
FORMATS
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
113
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...