Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Verification and Control of Hybrid Systems A Symbolic Approach
Verification and Control of Hybrid Systems A Symbolic Approach
Author 
Tabuada, Paulo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0224-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
Author 
Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00602-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Networked Embedded Sensing and Control Workshop NESC’05: University of Notre Dame, USA October 2005 Proceedings
Networked Embedded Sensing and Control Workshop NESC’05: University of Notre Dame, USA October 2005 Proceedings
Author 
Antsaklis, Panos J. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11533382
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for IoT for defense and national security
IoT for defense and national security
Author 
Douglass, Robert, editor.
Preferred Shelf Number 
UA10.5 .I57 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119892199
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Modeling and design of secure Internet of things
Modeling and design of secure Internet of things
Author 
Kamhoua, Charles A., editor. Njilla, Laurent L., editor. Kott, Alexander, 1971- editor. Shetty, Sachin, editor.
Preferred Shelf Number 
TK5105.8857 .M63 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119593386
Format: 
Availability 
Online Library~1
Available:
Copies: