본문

  1. Home
4 Results:AA:SEATZU C 0.406 sec.
RSS 
 Erweiterte Suche
 Neuankömmling Buch suchen
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
ausgewählten Druck Select Export to Excel
1
Verification of State-Based Opacity Using Petri Nets
Verification of State-Based Opacity Using Petri Nets
Tong, Y. / Tong, Y. / 2017

종합자료실 / 대출가능
Naver
drucken Inhaltsverzeichnis
2
Marking Observer in Labeled Petri Nets With Application to Supervisory Control
Marking Observer in Labeled Petri Nets With Application to Supervisory Control
Cabasino, M. P. / Cabasino, M. P. / 2017

종합자료실 / 대출가능
Naver
drucken Inhaltsverzeichnis
3
Diagnosability Analysis of Labeled Time Petri Net Systems
Diagnosability Analysis of Labeled Time Petri Net Systems
Basile, F. / Basile, F. / 2017

종합자료실 / 대출가능
Naver
drucken Inhaltsverzeichnis
4
Probabilistic Marking Estimation in Labeled Petri Nets
Probabilistic Marking Estimation in Labeled Petri Nets
Cabasino, M. P. / Cabasino, M. P. / 2015

종합자료실 / 대출가능
Naver
drucken Inhaltsverzeichnis
처음1마지막
Suchverlauf

Art
Verfeinern
Material
    E-journal
    Autor
      Verleger
        Jahr
          Sprache