Generating Web-based Systems from Specifications

Publication: Research - peer-review › Article in proceedings – Annual report year: 2004

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: Jensen, Tue Becker
Author: Tolstrup, Terkel K.
Author: Hansen, Michael Reichhardt
Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:

Original language	English
Title	The 19th ACM Symposium on Applied Computing (SAC 2004)
Publisher	ACM Press
Publication date	2004
State	Published

ID: 2755794

Guest Editor’s foreword