1 Introduction
Many formalisms have been developed to support verification and validation of formal specifications of control systems (Gajski, Vahid, Narayan, and Gong 1994; Peterson 1981; Alur and Dill 1994; Bolognesi, Lucidi and Trigila 1994).
Scheduled Maintenance on Monday 1/13/2025
Single article sales and account management will be unavailable from 5:00 AM - 7:00 PM ET (09:00 - 23:00 UTC). We apologize for the inconvenience.
Many formalisms have been developed to support verification and validation of formal specifications of control systems (Gajski, Vahid, Narayan, and Gong 1994; Peterson 1981; Alur and Dill 1994; Bolognesi, Lucidi and Trigila 1994).
2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery
Published: 2008
IEEE Transactions on Automatic Control
Published: 2010
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2025 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
Test Whats new message.