( en | de | ru )

 

Disambiguation of "Ouranos, Iakovos"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method.

, , , and . WINSYS, page 173-180. SciTePress, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Iakovos Arapakis

Iakovos Steinhauer

Iakovos Motakis

Iakovos Haralabidis

Iakovos Vittorias

 

Other publications of authors with the same name

Towards a correct translation from ASN.1 into CafeOBJ., , , and . Int. J. Reason. based Intell. Syst., 2 (3/4): 300-309 (2010)A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications., , , and . SIGMAP, page 35-38. SciTePress, (2010)Towards a Protocol Algebra Based on Algebraic Specifications., and . SERA (selected papers), volume 496 of Studies in Computational Intelligence, page 85-98. Springer, (2013)Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques., and . CAI, volume 4728 of Lecture Notes in Computer Science, page 247-259. Springer, (2007)Algebraic Specifications for OMA REL Licenses., , and . WiMob, page 376-381. IEEE Computer Society, (2009)Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method., , and . ISoLA (1), volume 6415 of Lecture Notes in Computer Science, page 75-89. Springer, (2010)An Algebraic Framework for Modeling of Mobile Systems., , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 90-A (9): 1986-1999 (2007)A Formal Specification Framework for Ad Hoc Mobile Communication Networks., , and . SOFSEM (2), page 91-102. Institute of Computer Science AS CR, Prague, (2007)Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP., , , , , , , and . RuleML+RR, volume 11784 of Lecture Notes in Computer Science, page 52-66. Springer, (2019)Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm., , , and . ICETE (Selected Papers), volume 222 of Communications in Computer and Information Science, page 424-438. Springer, (2010)