Model checking railway interlocking systems
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
On the Construction of Live Timed 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
Tool support for checking railway interlocking designs
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
On the axiomatisability of priority
Mathematical Structures in Computer Science
A denotational semantics for Handel-C
Formal methods and hybrid real-time systems
On the axiomatizability of priority
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Hi-index | 0.00 |