Hybrid Systems III

• 1 January 1996
• book
• Published by Springer Nature
• https://doi.org/10.1007/bfb0020931

Abstract

Keywords

• COMPUTER
• DIGITAL CONTROL TECHNOLOGY
• DIGITALE STEUERUNGSTECHNOLOGIE
• FORMAL METHODS
• FORMALE METHODEN
• HYBRID SYSTEMS
• HYBRIDE SYSTEME
• SYSTEM
• SYSTEMS CONTROL
• AUTOMATA
• FORMAL SPECIFICATION
• FORMAL VERIFICATION
• MODELING
• REAL-TIME
• VERIFICATION