From post

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.

 

Другие публикации лиц с тем же именем

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