본문

  1. Home
4 Results:AA:SEATZU C 0.312 sec.
RSS 
 Recherche avancée
 nouvelle arrivée Rechercher
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
impression sélectionné 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
d'impression le contenu
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
d'impression le contenu
3
Diagnosability Analysis of Labeled Time Petri Net Systems
Diagnosability Analysis of Labeled Time Petri Net Systems
Basile, F. / Basile, F. / 2017

종합자료실 / 대출가능
Naver
d'impression le contenu
4
Probabilistic Marking Estimation in Labeled Petri Nets
Probabilistic Marking Estimation in Labeled Petri Nets
Cabasino, M. P. / Cabasino, M. P. / 2015

종합자료실 / 대출가능
Naver
d'impression le contenu
처음1마지막
Mon histoire de la recherche

Trier
Affiner
Format
    E-journal
    Auteur
      Editeur
        année
          Langue