Sökning: "Viktor Leijon"

Hittade 1 avhandling innehållade orden Viktor Leijon.

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

   Författare :Viktor Leijon; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

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