Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Symbolic Model Checking for Rectangular Hybrid Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Verification of Hybrid Systems via Mathematical Programming
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Managing Evolution Using Cooperative Designs and a Reflective Architecture
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Safety Analysis Techniques for Validating Formal Models During Verification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Code synthesis for timed automata
Nordic Journal of Computing
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Modelling and analysis of a commercial field bus protocol
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Formal Validation of a Deterministic MAC Protocol
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
| Hi-index | 0.00 |