Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
Formal verification of real-time systems with preemptive scheduling
Real-Time Systems
Behavioural preservation in fault tolerant patterns
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Hi-index | 0.00 |