Κύριοι συγγραφείς:	Ουρανός, Ιάκωβος Χ., Ouranos, Iakovos Ch.
Άλλοι συγγραφείς:	N/A
Μορφή:	doctoralThesis
Έκδοση:	N/A 1970
Θέματα:	Κινητά συστήματα Τυπικές μέθοδοι Αλγεβρικές γλώσσες προδιαγραφών Τυπική επαλήθευση Κινητά παρατηρήσιμα συστήματα μετάβασης Πρωτόκολλα κινητών επικοινωνιών Άλγεβρα πρωτοκόλλων Σύνθεση πρωτοκόλλων Mobile systems Formal methods Algebraic specification languages Formal verification CafeOBJ MobileOBJ Mobile observational transition systems Mobile communication protocols Protocol algebra Protocol composition
Διαθέσιμο Online:	http://hdl.handle.net/123456789/1654