115 search results - page 2 / 23 » Formal Verification of Human-Automation Interaction |
FM
2006
Springer
13 years 8 months ago
2006
Springer
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
ENTCS
2010
13 years 2 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
IJCSA
2006
13 years 4 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
JCP
2008
13 years 4 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
ECOWS
2006
Springer
13 years 8 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...