HEAL DSpace

Using the OTS/CafeOBJ method to formally specify and verify the Open Mobile Alliance license choice algorithm

Αποθετήριο DSpace/Manakin

Using the OTS/CafeOBJ method to formally specify and verify the Open Mobile Alliance license choice algorithm

Triantafyllou, N; Ouranos, I; Stefaneas, P; Frangos, P
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/36569
Ημερομηνία: 2012

Εμφάνιση πλήρους εγγραφής

Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)