Author of the publication

From timed scenarios to SDL: specification, implementation and testing of real-time systems.

, , and . SDL Forum, page 67-. Elsevier, (1999)

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

Verification of Common Business Rules in BPMN Process Models., , and . NETYS, volume 9944 of Lecture Notes in Computer Science, page 334-339. Springer, (2016)A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper)., and . QSIC, page 209-215. IEEE Computer Society, (2008)A Multiple Tree Approach for Fault Tolerance in MPLS Networks., , and . ICDCIT, volume 4882 of Lecture Notes in Computer Science, page 197-202. Springer, (2007)Fault Coverage in Testing Real-Time Systems., , and . RTCSA, page 150-157. IEEE Computer Society, (1999)A Multi-Agent Reinforcement Learning Approach for Congestion Control in network based-SDN., , and . FiCloud, page 250-255. IEEE, (2023)A New Signaling Topology for Multiparty Web Real-time Video Conference Networks., , and . SITA, page 17:1-17:6. ACM, (2018)A test purpose-based approach for testing timed input output automata.. Softw. Test. Verification Reliab., 23 (1): 53-76 (2013)Guest Editorial., and . Int. J. Comput. Sci. Appl., 12 (1): iv (2015)Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing., , , , and . Ad Hoc Networks, (March 2023)Following Domain Driven Design principles for Microservices decomposition: is it enough?, , , and . AICCSA, page 1-8. IEEE, (2021)