( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education.

, , , , , , , , , , и . UMAP (Adjunct Publication), стр. 119-126. ACM, (2020)

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.

Ilaria Ferrando

Ferran Ferrando Melià

Angelo Jotzoff

Angelo Jotzoff

Angelo Geissen

 

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

Parametric Runtime Verification of Multiagent Systems., , и . AAMAS, стр. 1457-1459. ACM, (2017)Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020., , , , и . J. Sens. Actuator Networks, 10 (2): 33 (2021)Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches., , и . Int. J. Agent Oriented Softw. Eng., 6 (3/4): 402-442 (2018)Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal., , , , и . Frontiers Robotics AI, (2021)A Multiblock Approach to Fuse Process and Near-Infrared Sensors for On-Line Prediction of Polymer Properties., , , , , , , и . Sensors, 22 (4): 1436 (2022)Can determinism and compositionality coexist in RML? (extended version)., , и . CoRR, (2020)A Compositional Approach to Verifying Modular Robotic Systems., , , , , и . CoRR, (2022)Timed Trace Expressions., , , и . CILC, том 2396 из CEUR Workshop Proceedings, стр. 229-241. CEUR-WS.org, (2019)A Deterministic Event Calculus for Effective Runtime Verification., , , и . ICTCS, том 2504 из CEUR Workshop Proceedings, стр. 248-260. CEUR-WS.org, (2019)Extending Attack-Fault Trees with Runtime Verification., , и . FMAS/ASYDE@SEFM, том 371 из EPTCS, стр. 193-207. (2022)