Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis Proposal.

Published in: Software Engineering (Workshops) (2013)

Keyphrases

safety critical
artificial intelligence
knowledge base
intelligent systems
real time
data mining
machine learning
information systems
multi agent systems
user interface
software development
embedded systems
formal methods