Design of safety-critical Java level 1 applications using affine abstract clocks.

Adnan Bouakaz Jean-Pierre Talpin

Published in: M-SCOPES (2013)

Keyphrases

safety critical
formal methods
embedded systems
design process
fault tolerant
real time
user interface
programming language
information systems
web services
case study
learning environment
cooperative
knowledge based systems
nuclear power plant