What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Verification of an audio control protocol within real time process algebra
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Procedure-Level Verification of Real-time Concurrent Systems
Real-Time Systems
Specifying and analysing multimedia systems
Formal methods for distributed processing
Process Algebra versus Axiomatic Specification of a Real-Time Protocol
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Analysis of Slope-Parametric Rectangular Automata
Hybrid Systems V
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Nordic Journal of Computing
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Automatic generation of tests for timing constraints from requirements
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Information and Computation
FPGA based tester tool for hybrid real-time systems
Microprocessors & Microsystems
Systematic implementation of real-time models
FM'05 Proceedings of the 2005 international conference on Formal Methods
Hi-index | 0.00 |