Search for dissertations about: "Tobias Amnell"

Found 1 swedish dissertation containing the words Tobias Amnell.

2. 1. Code synthesis for timed automata

   Author : Tobias Amnell; Wang Yi; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Abstract : In this thesis, we study executable behaviours of timed models. The focus is on synthesis of executable code with predictable behaviours from high level abstract models. We assume that a timed system consists of two parts: the control software and the plant (i.e. READ MORE