Author of the publication

Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System.

, , , and . FORTE, volume 135 of IFIP Conference Proceedings, page 283-307. Kluwer, (1998)

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

Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System., , , and . FORTE, volume 135 of IFIP Conference Proceedings, page 283-307. Kluwer, (1998)Overcoming the Barriers of Using Linked Open Data in Smart City Applications., , , , and . Computer, 55 (12): 109-118 (2022)Contribución a la Formalización de la Fase de Ejecución de Pruebas.. Technical University of Madrid, Spain, (1995)Collaboration of Digital Twins through Linked Open Data: Architecture with FIWARE as Enabling Technology., , , , and . CoRR, (2024)An Architecture for Providing Data Usage and Access Control in Data Sharing Ecosystems., , , , , and . EUSPN/ICTH, volume 160 of Procedia Computer Science, page 590-597. Elsevier, (2019)A Collaborative Environment Integration Layer for Activity Orientation., , , , , and . CollaborateCom, IEEE Computer Society / ICST, (2006)Managing Distributed Conferences with ISABEL., , , , , , , , and . MMNS, volume 182 of IFIP Conference Proceedings, page 89-101. Kluwer, (2000)Collaboration of Digital Twins Through Linked Open Data: Architecture With FIWARE as Enabling Technology., , , , and . IT Prof., 24 (6): 41-46 (2022)A Quality of Service Assessment Technique for Large-Scale Management of Multimedia Flows., , , , , , , , and . MMNS, volume 4787 of Lecture Notes in Computer Science, page 173-176. Springer, (2007)Isabel: an application for real time collaboration with a flexible floor control., , , , , , , , , and . CollaborateCom, IEEE Computer Society / ICST, (2005)