Diagnosis of Active Systems: Principles and Techniques

Software Prototyping in Data and Knowledge Engineering