Automated design of diagnostic systems.

Mirsad Hadzikadic

Published in: Artif. Intell. Medicine (1992)

Keyphrases

automated design
diagnostic systems
evolutionary design
model based reasoning
engineering design
temporal reasoning
model based diagnosis
security protocols
mechanism design
case study
software engineering
software systems
model checking