Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT.

Roderick Chapman Robert Dewar

Published in: Ada-Europe (1999)

Keyphrases

safety critical
decision support
formal methods
information systems
decision making
management system
distributed systems
monitoring system
fault tolerant