( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On-the-fly verification of discrete event simulations by means of simulation purposes.

, и . SpringSim (TMS-DEVS), стр. 238-247. SCS/ACM, (2011)

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.

Gerard de Melo

Cristina de Salas

Cristina de Salas

Irene Melo de Carvalho

Ana Cristina Barrenengoa Andres

 

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

PiStache: Implementing π-Calculus in Scala., и . SBMF, том 7021 из Lecture Notes in Computer Science, стр. 76-91. Springer, (2011)A formal architectural model for exception handling coordination., и . SAC, стр. 114-118. ACM, (2008)Intelligent mobile multi-robotic systems: some challenges and possible solutions., , , , и . ICINCO, стр. 479-485. INSTICC Press, (2005)On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions., , , , , , и . Knowl.-Based Syst., 15 (3): 147--167 (2002)A Simulation-Oriented Formalization for a Psychological Theory., и . FASE, том 4422 из Lecture Notes in Computer Science, стр. 42-56. Springer, (2007)On Structuring Functional Programs with Monoidal Profunctors., , и . MSFP@ETAPS, том 360 из EPTCS, стр. 134-150. (2022)On-the-fly verification of discrete event simulations by means of simulation purposes., и . SpringSim (TMS-DEVS), стр. 238-247. SCS/ACM, (2011)A Formal Environment Model for Multi-Agent Systems., и . SBMF, том 6527 из Lecture Notes in Computer Science, стр. 64-79. Springer, (2010)On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions., , , , , , и . Knowl. Based Syst., 15 (3): 147-167 (2002)Exploring XML Perturbation Techniques for Web Services Testing., и . ICWE, том 5648 из Lecture Notes in Computer Science, стр. 355-369. Springer, (2009)