Image from Amazon.com
Formal verification of control system software
Material type:
TextSeries: Princeton series in applied mathematicsPublication details: Princeton : Princeton University Press, ©2019.Description: viii, 219 p. : ill. ; 24 cm (Hardbound)ISBN: - 9780691181301
- 629.8 GAR / DST
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
IIT - Dharwad | Automatic Control Engineering | 629.8 GAR / DST (Browse shelf(Opens below)) | Checked out | 22/08/2025 | DST4919 |
Browsing IIT - Dharwad shelves, Collection: Automatic Control Engineering Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 629.8 BAN / G Modeling, control and implementation of smart structures : a FEM-state space approach | 629.8 DIX / B Nonlinear control of engineering systems : a Lyapunov-based approach | 629.8 FRI / B Control system design : | 629.8 GAR / DST Formal verification of control system software | 629.8 GOL / B Automatic control systems | 629.8 GOL / B Automatic control systems | 629.8 GOL / B Automatic control systems |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.