1098 search results - page 127 / 220 » System safety as an emergent property in composite systems |
EICS
2009
ACM
14 years 3 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...
HOTOS
2009
IEEE
14 years 23 days ago
2009
IEEE
The system and network architecture for static sensornets is largely solved today with many stable commercial solutions now available and standardization efforts underway at the I...
FASE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...