3801 search results - page 31 / 761 » An Approach to Modeling Software Safety |
109
Voted
SUTC
2008
IEEE
15 years 8 months ago
2008
IEEE
Bomb disposal manned missions are inherently safetycritical. Wireless Sensor Network (WSN) technology potentially offers an opportunity to increase the safety of the operatives in...
102
Voted
ICECCS
2006
IEEE
15 years 8 months ago
2006
IEEE
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...
128
Voted
COMPUTER
2000
15 years 1 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
110
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
87
Voted
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
