Aske Wiid Brekling
Former employee
Publications
(16)- Published
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Modelling and Analyses of Embedded Systems Design
Publication: Research › Ph.d. thesis – Annual report year: 2011
- Published
Analysis for Embedded Systems: Experiments with Priced Timed Automata
Publication: Research - peer-review › Journal article – Annual report year: 2010
Journal of Logic and Algebraic Programming
ISSNs: 1567-8326
Elsevier BV North-Holland, Netherlands
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
Electronic Notes in Theoretical Computer Science
ISSNs: 1571-0661
Elsevier BV, Netherlands
FI (2012): 1, ISI indexed (2012): no
Central database
Journal
Projects
(1)- Completed
Models and Analyses for Embedded Systems Design
Project: PhD
Latest activities and conferences
Loading map data...
ID: 2171184