Symbolic execution and timed automata model checking for timing analysis of Java real-time systems

Kasper Søe Luckow, Corina S. Păsăreanu, Bent Thomsen

Research output: Contribution to journal › Journal article › Research › peer-review

13 Citations (Scopus)

13 Citations
1 PhD thesis

1 results

2014

Platforms and Model-Based Analyses for Real-Time Java
Luckow, K. S., 2014, Department of Computer Science, Aalborg University.
Research output: PhD thesis