( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.

, , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 188-204. Springer, (2022)

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.

Abdulali Tapia

Pedro Tapia Zúñiga

Ernesto Tapia

Claudia Tapia

Omar Tapia

 

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

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins., , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 188-204. Springer, (2022)A Formal Model of Metacontrol in Maude., , , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 575-596. Springer, (2022)Designing Distributed Control with Hybrid Active Objects., , , и . ISoLA (4), том 12479 из Lecture Notes in Computer Science, стр. 88-108. Springer, (2020)Automatic Parameter Optimisation of Service Quality and Resource Usage., , и . NIK, Bibsys Open Journal Systems, Norway, (2018)Formal Modelling and Analysis of a Self-Adaptive Robotic System., , , , и . iFM, том 14300 из Lecture Notes in Computer Science, стр. 343-363. Springer, (2023)Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS., , и . ICFEM, том 7635 из Lecture Notes in Computer Science, стр. 71-86. Springer, (2012)Digital Twin Reconfiguration Using Asset Models., , , , , и . ISoLA (4), том 13704 из Lecture Notes in Computer Science, стр. 71-88. Springer, (2022)A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios., , и . FoVeOOS, том 7421 из Lecture Notes in Computer Science, стр. 196-213. Springer, (2011)Proving Correctness of Parallel Implementations of Transition System Specifications., , , и . CoRR, (2023)User-defined schedulers for real-time concurrent objects., , , , и . ISSE, 9 (1): 29-43 (2013)