Advances in verification of time petri nets and timed automata : a temporal logic approach /

Benzer Materyaller

• A real time approach to process control /
  Yazar:: Svrcek, William Y.
  Baskı/Yayın Bilgisi: (John Wiley & Sons, 2000.)
• Petri nets for systems engineering : a guide to modeling, verification, and applications /
  Yazar:: Girault, Claude
  Baskı/Yayın Bilgisi: (Springer, 2003.)
• Modelling and analysis of hybrid supervisory systems : a petri net approach /
  Yazar:: Villani, Emilia
  Baskı/Yayın Bilgisi: (Springer, 2007.)
• Üç serbestlik dereceli robotik kolun kartezyen uzayda empedans kontrolü /
  Yazar:: Beyhan, Ayberk
  Baskı/Yayın Bilgisi: (2021.)
• The time machine
  Yazar:: Wells, H. G. 1866-1946. (Herbert George)
  Baskı/Yayın Bilgisi: (2008 Peacock Books)