( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Description of Real-time Systems using SDL.

, , и . RTCSA, стр. 190-. IEEE Computer Society, (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.

Ferhat Derman

Sami Ferhat Tezer

Saadet Ferhat-Akat

 

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

MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems., , , и . ECMFA, том 10890 из Lecture Notes in Computer Science, стр. 164-178. Springer, (2018)TURTLE-P: a UML profile for the formal validation of critical and distributed systems., , и . Softw. Syst. Model., 5 (4): 449-466 (2006)Resolving inconsistencies of runtime configuration changes through change propagation and adjustments., , и . CoRR, (2022)Incremental Construction Approach for Distributed System Specifications., и . FORTE, том C-22 из IFIP Transactions, стр. 87-102. North-Holland, (1993)A Reuse Case Perspective on Documenting Frameworks., , и . APSEC, стр. 94-101. IEEE Computer Society, (1998)Enriching Use Cases with CTTs., , и . ICECCS, стр. 262-263. IEEE Computer Society, (2010)Rolling Upgrade with Dynamic Batch Size for IaaS Cloud., , и . CLOUD, стр. 497-504. IEEE Computer Society, (2016)From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation., и . ISORC, стр. 343-350. IEEE Computer Society, (2006)Integrating wireless sensor networks and mobile ad hoc networks for an enhanced end-user experience., , , и . Kaleidoscope, стр. 1-7. IEEE, (2010)Integrating Open SAF High Availability Solution with Open Stack., , , , и . SERVICES, стр. 229-236. IEEE Computer Society, (2015)