Εργαστήριο Πληροφοριακών Συστημάτων (ISL)

BRA-SPEC : Formal Methods and Tools for the Development of Distributed and Real-Time Systems

Επιστημονικός Υπεύθυνος: Π. Κωνσταντόπουλος
E-Mail: panosATics.forth.gr
Φορέας Χρηματοδότησης: ΕΕ - ESPRIT