Dang Van Hung Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:170-187 [Conf]
Elsa Estevez, Tomasz Janowski Programmable Messaging for Electronic Government - Building a Foundation. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:217-236 [Conf]
Anne Elisabeth Haxthausen, Jan Peleska A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:320-348 [Conf]
Jifeng He Compensable Programs. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:349-363 [Conf]
Mathai Joseph Engineering the Development of Embedded Systems. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:391-398 [Conf]
Hans Langmaack On Revival of Algol-Concepts in Modern Programming and Specification Languages. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:414-434 [Conf]
Xinxin Liu Expansive-Bisimulation for Context-Free Processes. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:472-482 [Conf]
Peter D. Mosses VDM Semantics of Programming Languages: Combinators and Monads. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:483-503 [Conf]
Martin Penicka Formal Approach to Railway Applications. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:504-520 [Conf]