Sökning: "Juan de la Puente"

Hittade 1 avhandling innehållade orden Juan de la Puente.

1. 1. 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