본문

서브메뉴

검색

  1. Home
Bounded Model Checking of Hybrid Systems for Control
Bounded Model Checking of Hybrid Systems for Control / Kwon, Y. ; Kim, E.
Bounded Model Checking of Hybrid Systems for Control

Detailed Information

자료유형  
 기사
ISSN  
00189286
서명/저자  
Bounded Model Checking of Hybrid Systems for Control / Kwon, Y. ; Kim, E.
형태사항  
pp. 2961
기타저자  
Kwon, Y.
기타저자  
Kim, E.
기본자료저록  
IEEE transactions on Automatic Control : v.60 n.11 2015, 11
모체레코드  
모체정보확인
Control Number  
gtec:343303

MARC

 008171010s2015              a    a                          kor
■022    ▼a00189286
■245    ▼aBounded  Model  Checking  of  Hybrid  Systems  for  Control▼dKwon,  Y.▼eKim,  E.
■300    ▼app.  2961
■7001  ▼aKwon,  Y.
■7001  ▼aKim,  E.
■773    ▼tIEEE  transactions  on  Automatic  Control▼gv.60  n.11▼d2015,  11
■SIS    ▼aKS031616▼b63263▼h3▼sG

Preview

Export

ChatGPT Discussion

AI Recommended Related Books


    New Books MORE
    Related books MORE
    Statistics for the past 3 years. Go to brief
    Recommend

    Info Détail de la recherche.

    • Réservation
    • Book Loan Request Service
    • My Folder
    Matériel
    Reg No. Call No. emplacement Status Lend Info
    AR25965 종합자료실 대출가능 대출가능
    대출신청 My Folder

    * Les réservations sont disponibles dans le livre d'emprunt. Pour faire des réservations, S'il vous plaît cliquer sur le bouton de réservation

    Books borrowed together with this book

    Related books

    Related Popular Books

    도서위치