Languages
Tabuada, Paulo.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
Verification and control of hybrid systems = a symbolic approach /
by:
Tabuada, Paulo.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.