Author of the publication

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.

 

Other publications of authors with the same name

ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking., , , and . Paladyn J. Behav. Robotics, 11 (1): 414-427 (2020)A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications., , , and . SIGMAP, page 35-38. SciTePress, (2010)Applying Algebraic Specifications on Digital Right Management Systems., , , and . ICCSW, volume DTR11-9 of Department of Computing Technical Report, page 94-100. Imperial College London, (2011)Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications., , , and . SMAP, page 81-86. IEEE, (2012)Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method., , , and . WINSYS, page 173-180. SciTePress, (2010)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)Formalizing Air Traffic Control Regulations in PSOA RuleML., , , , and . RuleML+RR (Supplement), volume 2204 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents., , and . SOFSEM, volume 8327 of Lecture Notes in Computer Science, page 407-418. Springer, (2014)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)