Enforcing Temporal Constraints in Embedded Control Systems
Kristian Sandström · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2002
Computer control systems are embedded in a large and growing group of products, ranging from consumer entertainment products to large airliners. Products such as automotive vehicles, aircraft, and ...