Sökning: "Tobias Amnell"

Hittade 1 avhandling innehållade orden Tobias Amnell.

1. 1. Code synthesis for timed automata

   Författare :Tobias Amnell; Wang Yi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Sammanfattning : 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. LÄS MER