Franklin

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

Author/Creator:
Tabuada, Paulo.
Publication:
New York : Springer, c2009.
Format/Description:
Book
xv, 202 p. : ill. ; 25 cm.
Subjects:
Hybrid systems.
Computer systems -- Verification.
Digital control systems.
Notes:
Includes bibliographical references and index.
Local notes:
Acquired for the Penn Libraries with assistance from the Hazel M. Hussong Fund.
Contributor:
Hazel M. Hussong Fund.
ISBN:
9781441902238 (cased)
1441902236 (cased)
9781441902245 (ebk.)
1441902244 (ebk.)
OCLC:
310400993
Publisher Number:
99937443361
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy