Analysing sanity of requirements for avionics systems.

Jiri Barnat Petr Bauch Nikola Benes Lubos Brim Jan Beran Tomas Kratochvila

Published in: Formal Aspects Comput. (2016)

Keyphrases

genetic algorithm
management system
intelligent systems
artificial intelligence
multimedia
data structure
expert systems
relational databases
knowledge based systems
complex systems
retrieval systems
systems require
data management systems
design criteria
design requirements
service requirements