Sökning: "Luis-Alejandro Cortes"

Hittade 2 avhandlingar innehållade orden Luis-Alejandro Cortes.

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

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

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

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

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

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