( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components.

, , , , , и . CoRR, (2015)

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.

Jorge Navarro-Pérez

Marco Antonio Arteaga Pérez

Jorge Antonio Pérez Donato

Carlos Lazaro Perez Navarro

Ema Pérez Bravo

 

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

Modeling Cloud Architectures as Interactive Systems., и . MDHPCL@MoDELS, том 1118 из CEUR Workshop Proceedings, стр. 15-24. CEUR-WS.org, (2013)Implementation of High Complex Routing Algorithms in Mobile Devices: The Itiner@ Case., , и . INCoS, стр. 443-450. IEEE, (2012)Itiner@: Ontology for Personalizing Tourist Routes in Mobile Devices., , и . INCoS, стр. 420-427. IEEE, (2012)RSS and Sensor Fusion Algorithms for Indoor Location Systems on Smartphones., , и . AGILE Conf., стр. 197-214. Springer, (2014)Modellierung variantenreicher Funktionsnetze im Automotive Software Engineering., , и . GI Jahrestagung, том P-154 из LNI, стр. 2689-2701. GI, (2009)Present@: A virtual environment for dissertation defense., , , , и . FIE, стр. 1-6. IEEE Computer Society, (2012)How Can Semantic Be Introduced in GIS Mobile Applications: Expectations, Theory and Reality., , и . INCoS, стр. 477-482. IEEE, (2012)Students perception of videos in introductory physics courses of engineering in face-to-face and online environments., , и . Multim. Tools Appl., 80 (1): 1009-1028 (2021)SL-COMP: Competition of Solvers for Separation Logic., , , , , , , , , и 14 other автор(ы). TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 116-132. Springer, (2019)Encodings of Bounded LTL Model Checking in Effectively Propositional Logic., и . CADE, том 4603 из Lecture Notes in Computer Science, стр. 346-361. Springer, (2007)