HEAL DSpace

Βελτιώσεις της εκφραστικότητας και της ευκολίας χρήσης του εργαλείου state machine bug finder

DSpace/Manakin Repository

Βελτιώσεις της εκφραστικότητας και της ευκολίας χρήσης του εργαλείου state machine bug finder

Title: Βελτιώσεις της εκφραστικότητας και της ευκολίας χρήσης του εργαλείου state machine bug finder;
Improving the Expressibility and Ease of Use of State Machine Bug Finder
Ιορδανίδης, Κρίτων; Iordanidis, Kriton
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/63534
http://dx.doi.org/10.26240/heal.ntua.31229

Show full item record

Files in this item

[PDF]
Name: main.pdf
Size: 976.0Kb
Format: PDF
View/Open

The following license files are associated with this item:

This item appears in the following Collection(s)

Αναφορά Δημιουργού 3.0 Ελλάδα Except where otherwise noted, this item's license is described as Αναφορά Δημιουργού 3.0 Ελλάδα