Logics for hybrid systems

Computer Science

• Formal Specification 100%
• Software Verification 50%
• Application Area 50%
• Computational Modeling 50%
• Formal Language 50%
• Computational Method 50%
• Dynamical System 50%
• Temporal Logic 50%
• Automaton 50%
• Traffic Control 50%
• Engineering Application 50%
• Performance Requirement 50%
• Formal Verification 50%
• Process Control 50%
• Computer Aided Analysis 50%
• Computer-Aided Software Engineering 50%
• Design Automation 50%
• Software Engineering Design 50%