( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems.

, , , и . Electron. Notes Theor. Comput. Sci., (2008)

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.

Aline dos Santos Neutzling

Maria Guia Santos

Ali Alinejad

Plinio Andrade

Claudia Maria Santos Agostinho

 

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

A Model Driven Transformation Development Process for Model to Model Transformation., , и . SBES, стр. 3-12. ACM, (2016)A development process for mechatronic products: Integrating software engineering and product engineering., , , и . ETFA, стр. 1149-1156. IEEE, (2007)A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol., , и . SBMF, том 240 из Electronic Notes in Theoretical Computer Science, стр. 221-238. Elsevier, (2008)Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design., , и . SEKE, стр. 625-630. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2015)A Systematic Review of Software Requirements Selection and Prioritization Using SBSE Approaches., , , и . SSBSE, том 8084 из Lecture Notes in Computer Science, стр. 188-208. Springer, (2013)Improving Web Service Discovery by a Functional and Structural Approach., , , , и . ICWS, стр. 411-418. IEEE Computer Society, (2011)MTP: Model Transformation Profile., , и . SBCARS, стр. 109-118. IEEE Computer Society, (2013)On the Specification of Model Transformations through a Platform Independent Approach., , и . SEKE, стр. 558-561. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2015)An Investigation of Currently Used Aspects in Model Transformation Development., , и . ICEIS (Revised Selected Papers), том 417 из Lecture Notes in Business Information Processing, стр. 412-436. Springer, (2020)Generating correct compositions of semantic web services with respect to temporal constraints., , и . WebMedia, стр. 197-206. ACM, (2012)