Search Results for Tabuada, Paulo.

5 sonuç bulundu

00000DEFAULT_TR

Verification and Control of Hybrid Systems A Symbolic Approach

Yazar

Tabuada, Paulo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-0224-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Yazar

Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-00602-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Networked Embedded Sensing and Control Workshop NESC’05: University of Notre Dame, USA October 2005 Proceedings

Yazar

Antsaklis, Panos J. editor. Tabuada, Paulo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11533382

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

IoT for defense and national security

Yazar

Douglass, Robert, editor.

Yer Numarası

UA10.5 .I57 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119892199

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Modeling and design of secure Internet of things

Yazar

Kamhoua, Charles A., editor. Njilla, Laurent L., editor. Kott, Alexander, 1971- editor. Shetty, Sachin, editor.

Yer Numarası

TK5105.8857 .M63 2020

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119593386

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}