From post

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.

 

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

Model-Based Testing from Controlled Natural Language Requirements., , , , и . FTSCS, том 419 из Communications in Computer and Information Science, стр. 19-35. Springer, (2013)RoboWorld: Verification of Robotic Systems with Environment in the Loop., , , и . Formal Aspects Comput., 35 (4): 26:1-26:46 (декабря 2023)LaSca: a Large Scale Group Decision Support System., , , и . J. Univers. Comput. Sci., 17 (2): 261-275 (2011)Large groups decision for the Rio 2016 Olympic Games in the MUTIRÕ project., , , и . CSCWD, стр. 585-589. IEEE, (2010)Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements., и . Sci. Comput. Program., (2021)RoboWorld: Where Can My Robot Work?, , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 3-22. Springer, (2021)An Analytical and Experimental Comparison of CSP Extensions and Tools., , , , и . ICFEM, том 7635 из Lecture Notes in Computer Science, стр. 381-397. Springer, (2012)Collaboration engineering, philosophy, and Democracy with LaSca., , и . CSCWD, стр. 50-55. IEEE, (2009)A Systematic Mapping Study on Robotic Testing of Mobile Devices., , , , , , и . SEAA, стр. 475-482. IEEE, (2022)WINDS workshop: Europe-Latin America cooperation in ICT research: state of the art and possibilities offered by the FP7., , и . EATIS, (2008)