Search for dissertations about: "Luis-Alejandro Cortes"

Found 2 swedish dissertations containing the words Luis-Alejandro Cortes.

  2. 1. A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems

    Author : Luis Alejandro Cortés; Zebo Peng; Petru Eles; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Embedded systems; Computer systems; Real-time embedded systems; Petri nets; Semantics; Computer science; Datavetenskap;

    Abstract : Embedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness. READ MORE

  4. 2. Verification and Scheduling Techniques for Real-Time Embedded Systems

    Author : Luis Alejandro Cortés; Zebo Peng; Petru Eles; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer systems; Embedded computer systems; real-time systems; Computer science; Datavetenskap;

    Abstract : Embedded computer systems have become ubiquitous. They are used in a wide spectrum of applications, ranging from household appliances and mobile devices to vehicle controllers and medical equipment. READ MORE