Search for dissertations about: "Viktor Leijon"

Found 1 swedish dissertation containing the words Viktor Leijon.

2. 1. A time constrained real-time process calculus

   Author : Viktor Leijon; Luleå tekniska universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

   Abstract : There are two important questions to ask regarding the correct execution of a real-time program: (i) Is there a platform such that the program executes correctly? (ii) Does the program execute correctly on a particular platform? The execution of a program is correct if all actions are taken within their execution window, i.e. READ MORE