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

From timed scenarios to SDL: specification, implementation and testing of real-time systems., , and . SDL Forum, page 67-. Elsevier, (1999)MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems., , , and . ECMFA, volume 10890 of Lecture Notes in Computer Science, page 164-178. Springer, (2018)TURTLE-P: a UML profile for the formal validation of critical and distributed systems., , and . Softw. Syst. Model., 5 (4): 449-466 (2006)Incremental Construction Approach for Distributed System Specifications., and . FORTE, volume C-22 of IFIP Transactions, page 87-102. North-Holland, (1993)A Dynamic Evolution for the Specifications of Distributed Systems., and . ASIAN, volume 1179 of Lecture Notes in Computer Science, page 287-298. Springer, (1996)Identification and Selection of Interaction Test Scenarios for Integration Testing., and . SAM, volume 7744 of Lecture Notes in Computer Science, page 16-33. Springer, (2012)Resolving inconsistencies of runtime configuration changes through change propagation and adjustments., , and . CoRR, (2022)Methods for Live Testing of Cloud Services., , and . ICTSS, volume 12543 of Lecture Notes in Computer Science, page 201-216. Springer, (2020)A Method for Component Evaluation for Live Testing of Cloud Systems., , and . ISSRE Workshops, page 87-92. IEEE, (2022)Bridging the gap between requirements and design: An approach based on Problem Frames and SysML., , and . J. Syst. Softw., 85 (3): 717-745 (2012)