Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Flavio Lerda
Verification of Supervisory Control Software Using State Proximity and Merging
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Understanding Counterexamples With Explain
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Symbolic Synthesis and Verification of Hierarchical Interface-Based Supervisory Control
Modelling and Implementation of Supervisory Control Systems Using State Machines With Outputs
Supervisory Control Software Engineering for Oil Production Facilities
Scientific and Technical Volga region Bulletin
DIFFERENCING AND MERGING OF SOFTWARE DIAGRAMS - State of the Art and Challenges
Supervisory Control Using Variable Lookahead Policies
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
An Approach to Self-Adaptive Software Based on Supervisory Control
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Supervisory Control and Data Acquisition
International Journal of Computer Applications
Supervisory Control of Switching Control Systems
Design and Implementation of Supervisory Control and Data Acquisition Based Manufacturing System Using PID Control
International Journal of Scientific and Research Publications (IJSRP)
