4036 search results - page 140 / 808 » Formal Methods |
140
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
152
click to vote
AIME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
138
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
135
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
126
click to vote
IJAR
2007
15 years 5 months ago
2007
This paper discusses some aspects of fuzzy random variables obtained by propagating uncertainty in risk analysis when some input parameters are stochastic, while others are determ...