A Time-Triggered Constraint-Based Calculus for Avionic Systems.

Sardaouna Hamadou John Mullins Abdelouahed Gherbi Sofiene Beji

Published in: ISORC Workshops (2015)

Keyphrases

building blocks
expert systems
complex systems
multiscale
relational databases
user interface
management system
intelligent systems
computer systems
knowledge based systems