본문

서브메뉴

검색

  1. Home
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specificatio...
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

Detailed Information

자료유형  
 기사
ISSN  
00189286
서명/저자  
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications / Kloetzer, M. ; Belta, C.
형태사항  
pp. 287
기타저자  
Kloetzer, M.
기타저자  
Belta, C.
기본자료저록  
IEEE transactions on Automatic Control : v.53 n.1 2008, 02
모체레코드  
모체정보확인
Control Number  
gtec:340144

MARC

 008170927s2008              a    a                          kor
■022    ▼a00189286
■245    ▼aA  Fully  Automated  Framework  for  Control  of  Linear  Systems  from  Temporal  Logic  Specifications▼dKloetzer,  M.▼eBelta,  C.
■300    ▼app.  287
■7001  ▼aKloetzer,  M.
■7001  ▼aBelta,  C.
■773    ▼tIEEE  transactions  on  Automatic  Control▼gv.53  n.1▼d2008,  02
■SIS    ▼aKS018806▼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

    Buch Status

    • Reservierung
    • Book Loan Request Service
    • Meine Mappe
    Sammlungen
    Registrierungsnummer callnumber Standort Verkehr Status Verkehr Info
    AR22828 종합자료실 대출가능 대출가능
    대출신청 My Folder

    * Kredite nur für Ihre Daten gebucht werden. Wenn Sie buchen möchten Reservierungen, klicken Sie auf den Button.

    Books borrowed together with this book

    Related books

    Related Popular Books

    도서위치