Sökning: "Gustaf Naeser"

Hittade 2 avhandlingar innehållade orden Gustaf Naeser.

1. 1. A flexible framework for detection of feature interactions in telecommunication systems

   Författare :Gustaf Naeser; Bengt Jonsson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Systems; Datorteknik;

   Sammanfattning : The complexity of today's telecommunications systems grows with each new feature introduced. As the number of services an operator provides can be used to gain advantage over competitors the number of services will continue to increase. LÄS MER

3. 2. A Formal Approach to Embedded High-Integrity Real-Time Systems

   Författare :Gustaf Naeser; Lars Asplund; Juan de la Puente; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Datavetenskap;

   Sammanfattning : Den här avhandlingen handlar inte om obskyra teoretiska datavetenskapliga hemligheter, den handlar om hur datorsystem kan göras säkrare. Ur ett annat perspektiv kan den sägas försöka sig på att göra svåra metoder, som formella sådana, lättare att använda så att fler programmerare och systemdesigners kan dra nytta av dem. LÄS MER