ICFEM
2003
Springer
14 years 9 hour ago
2003
Springer
ICFEM
2003
Springer
14 years 9 hour ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
ICFEM
2003
Springer
14 years 9 hour ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
ICFEM
2003
Springer
14 years 9 hour ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
ICFEM
2003
Springer
14 years 9 hour ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
ICFEM
2003
Springer
14 years 9 hour ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
ICFEM
2003
Springer
14 years 9 hour ago
2003
Springer
ICFEM
2003
Springer
14 years 9 hour ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
ICFEM
2003
Springer
14 years 9 hour ago
2003
Springer
