자료유형  

 학위논문

Control Number  

0016618211

International Standard Book Number  

9798351450230

Dewey Decimal Classification Number  

621.3

Main Entry-Personal Name  

Elfar, Mahmoud.

Publication, Distribution, etc. (Imprint  

[S.l.] : Duke University., 2022

Publication, Distribution, etc. (Imprint  

Ann Arbor : ProQuest Dissertations & Theses, 2022

Physical Description  

217 p.

General Note  

Source: Dissertations Abstracts International, Volume: 84-03, Section: B.

General Note  

Advisor: Pajic, Miroslav.

Dissertation Note  

Thesis (Ph.D.)--Duke University, 2022.

Restrictions on Access Note  

This item must not be sold to any third party vendors.

Subject Added Entry-Topical Term  

Computer engineering.

Index Term-Uncontrolled  

Cyber-physical systems

Index Term-Uncontrolled  

Human-robot interaction

Index Term-Uncontrolled  

Microfluidics

Index Term-Uncontrolled  

Model checking

Index Term-Uncontrolled  

Stochastic games

Index Term-Uncontrolled  

Temporal logic

Added Entry-Corporate Name  

Duke University Electrical and Computer Engineering

Host Item Entry  

Dissertations Abstracts International. 84-03B.

Host Item Entry  

Dissertation Abstract International

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:624258