3801 search results - page 31 / 761 » An Approach to Modeling Software Safety |
SUTC
2008
IEEE
15 years 4 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...
77
Voted
ICECCS
2006
IEEE
15 years 3 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 ...
COMPUTER
2000
14 years 9 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...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
COMPSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
