Στο link μπορείτε να δείτε την πρόσφατη δημοσίευση μου να "φιγουράρει" στην πρώτη θέση σε hits για το μήνα Σεπτέμβριο στο site του περιοδικού IEICE Transactions. Το περιεχόμενο της αφορά μοντελοποίηση κινητών συστημάτων με την αλγεβρική γλώσσα προδιαγραφών CafeOBJ.
http://ietfec.oxfordjournals.org/reports/mfr1.dtl
Εγγραφή σε:
Σχόλια ανάρτησης (Atom)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου