본문

서브메뉴

검색

  1. Home
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Syste...
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

Detailed Information

자료유형  
 기사
ISSN  
00189286
서명/저자  
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems / Wongpiromsarn, T. ; Topcu, U. ; Lamperski, A.
형태사항  
pp. 3344
기타저자  
Wongpiromsarn, T.
기타저자  
Topcu, U.
기타저자  
Lamperski, A.
기본자료저록  
IEEE transactions on Automatic Control : v.61 n.11 2016, 11
모체레코드  
모체정보확인
Control Number  
gtec:343839

MARC

 008171010s2016              a    a                          kor
■022    ▼a00189286
■245    ▼aAutomata  Theory  Meets  Barrier  Certificates:  Temporal  Logic  Verification  of  Nonlinear  Systems▼dWongpiromsarn,  T.▼eTopcu,  U.▼eLamperski,  A.  
■300    ▼app.  3344
■7001  ▼aWongpiromsarn,  T.
■7001  ▼aTopcu,  U.
■7001  ▼aLamperski,  A.
■773    ▼tIEEE  transactions  on  Automatic  Control▼gv.61  n.11▼d2016,  11
■SIS    ▼aKS033366▼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
    AR26501 종합자료실 대출가능 대출가능
    대출신청 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

    도서위치