文件名称：REAL-TIME SYSTEMS Formal Specification and Automatic Verification
文件大小：1.73MB
文件格式：PDF
更新时间：2012-09-14 12:01:50
REAL TIME
Computers are used more and more to provide high-quality and reliable products and services, and to control and optimise production processes. Such computers are often embedded into the products and thus hidden to the human user. Examples are computer-controlled washing machines or gas burners, electronic control units in cars needed for operating airbags and braking systems, signalling systems for high-speed trains, or robots and automatic transport vehicles in industrial production lines