Normal view MARC view ISBD view

Verification and control of hybrid systems : a symbolic approach / Paulo Tabuada ; foreword by Rajeev Alur.

By: Tabuada, Paulo.
Material type: TextTextSeries: Springer.Publisher: New York : Springer, c2009Description: 1 online resource (xv, 202 p.) : ill.ISBN: 9781441902245; 1441902244.Subject(s): Hybrid systems | Computer systems -- Verification | Digital control systemsAdditional physical formats: Print version:: Verification and control of hybrid systems.LOC classification: QA76.38 | .T33 2009Online resources: Click here to view this ebook.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Status Date due Barcode
Electronic Book UT Tyler Online
QA76.38 .T33 2009 (Browse shelf) Available ocn432702815
Browsing UT Tyler Online Shelves , Shelving location: Online Close shelf browser
QA76.38 .H73 2006 Hybrid systems : QA76.38 .H73 2007 Hybrid systems : QA76.38 .H85 2007 Hybrid intelligent systems : QA76.38 .T33 2009 Verification and control of hybrid systems : QA76.5 .C4166 2004 Computers and games : QA76.5 .D2515 2005 Guide to RISC processors : QA76.5 .I48877 2006 Computer science -- theory and applications :

Includes bibliographical references and index.

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.