A Model-based Approach to the Verification of Program Supervision Systems.

Mar Marcos Sabine Moisan Angel P. del Pobil

Published in: EUROVAV (1997)

Keyphrases

active learning
management system
distributed systems
expert systems
complex systems
hardware designs