Κύριοι συγγραφείς:	Λατανιώτης, Χρήστος Π., Lataniotis, Chris P.
Άλλοι συγγραφείς:	N/A
Μορφή:	bachelorThesis
Έκδοση:	N/A 1970
Θέματα:	Βιομηχανικοί αυτοματισμοί Βιομηχανικές εγκαταστάσεις Έλεγχος Ανάλυση Συμβολικός Petri Statecharts Stateflow Simulink Hybrid Interpreted SMV Symbolic Model Checking
Διαθέσιμο Online:	http://hdl.handle.net/123456789/1497