Login / Signup
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