Static Backward Program Slicing for Safety-Critical Systems.

Husni Khanfar Björn Lisper Abu Naser Masud

Published in: Ada-Europe (2015)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
agent architecture
support systems
embedded systems
machine learning
decision making
distributed systems
expert systems
real time
program slicing
software architecture
software development
software engineering
case study
description languages