OpenArchives.gr | Laboratory for Radar Systems and Remote Sensing

1 - 1 to 1 item

Sort by

Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών Modeling and verification of mobile systems using algebraic specification techniques

Creator: Ouranos, Iakovos Ch., Ουρανός, Ιάκωβος Χ.

Item type: PhD thesis

Scientific field: Remote Sensing

Υear: 2008

School/department/institute: National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Transmission Systems and Material Technology Division (TRANSMIT) ▶ Laboratory for Radar Systems and Remote Sensing

Institution: National Technical University of Athens

Collection : Digital Library of National Technical University of Athens | Dspace@NTUA

Laboratory for Radar Systems and Remote Sensing

Discover 1 item from this school/department/institute

Filters

Filters

Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών Modeling and verification of mobile systems using algebraic specification techniques

Laboratory for Radar Systems and Remote Sensing

Discover 1 item from this school/department/institute

Filters

Filters

Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών Modeling and verification of mobile systems using algebraic specification techniques

Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.