Browsing by Subject model checking
Showing results 2 to 3 of 3
< previous
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
19-Dec-2013 | Systematic Testing Of Concurrent Erlang Programs: Some Experiences | Τσιτσιμπής Ηλίας | Σαγώνας Κωστής |
9-Jul-2008 | Περιβάλλον-πλαίσιο Για Την Παρακολούθηση Και Την Ανάλυση Συστημάτων Λογισμικού | Μιχαηλ Αθανασοπουλος | Κοντογιάννης Κώστας |