語系
Tabuada, Paulo.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Tabuada, Paulo.; Majumdar, Rupak.
(書目-電子資源)
Verification and control of hybrid systems = a symbolic approach /
by:
Tabuada, Paulo.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Hybrid systems.
Computer systems- Verification.
Hybrid computers
Special Purpose and Application-Based Systems.
Mathematics.
Simulation and Modeling.
Digital control systems.
Computer Science.
Control.
Processor Architectures.
Logics and Meanings of Programs.
Models and Principles.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Systems Theory, Control.