SMT-based architecture modelling for safety assessment.

Kevin Delmas Remi Delmas Claire Pagetti

Published in: SIES (2017)

Keyphrases

management system
knowledge base
machine learning
software architecture
network architecture
architectural design
layered architecture
database
real time
information systems
database systems
peer to peer
data flow
design considerations