89
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
151
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The evolution of mobile technologies, like web-enable cellphones, PDAs and wireless networks, makes it now possible to use these technologies for collaborative work through web-bas...
115
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
95
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Deviational analysis is a traditional way of exploring the safety of systems. The results of deviational analysis contribute to traditional safety cases and safety arguments. We ex...
108
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...