Untitled

Publication: Research - peer-review › Editorial – Annual report year: 2004

A Formal Approach for the Construction and Verification of Railway Control Systems
Publication: Research - peer-review › Journal article – Annual report year: 2010
CaPiTo: protocol stacks for services
Publication: Research - peer-review › Journal article – Annual report year: 2011
Specification, proof, and model checking of the Mondex electronic purse using RAISE
Publication: Research - peer-review › Journal article – Annual report year: 2008
Special Issue on Duration Calculus
Publication: Research › Journal article – Annual report year: 2004
Duration Calculus: Logical Foundations
Publication: Research - peer-review › Journal article – Annual report year: 1997

Guest Editor’s foreword
Publication: Research › Editorial – Annual report year: 2012
From functional programming to multicore parallelism: A case study based on Presburger Arithmetic
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
Modelling of Energy Harvesting Aware Wireless Sensor Networks
Publication: Research - peer-review › Book chapter – Annual report year: 2011
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
Analysis for Embedded Systems: Experiments with Priced Timed Automata
Publication: Research - peer-review › Journal article – Annual report year: 2010

Author: Jones, C.
Author: Hansen, Michael Reichhardt
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:

ID: 2715848