( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study.

, , , и . PoEM, том 235 из Lecture Notes in Business Information Processing, стр. 126-140. Springer, (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.

Simon Kaindl

Annette Kaindl

Klaus Kaindl

Günter Kaindl

Angela Kaindl

 

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

Verification of Feature Coordination using the Fluent Calculus., и . ENASE, стр. 169-179. SciTePress, (2018)Feature Construction during Tree Learning., , и . GWAI, том 285 из Informatik-Fachberichte, стр. 50-61. Springer, (1991)What Happened with AI's Drosophila?. ÖGAI, том 106 из Informatik-Fachberichte, стр. 194-203. Springer, (1985)What is an Aspect in Aspect-oriented Requirements Engineering?. EMMSAD, том 337 из CEUR Workshop Proceedings, стр. 164-170. CEUR-WS.org, (2008)Automated generation of device-specific WIMP UIs: weaving of structural and behavioral models., , , , и . EICS, стр. 41-46. ACM, (2011)A process for facilitating interaction design through automated GUI generation., , , , и . SAC, стр. 1324-1330. ACM, (2014)A User Study with GUIs Tailored for Smartphones and Tablet PCs., , , , и . SMC, стр. 3727-3732. IEEE, (2013)Using a Mediator to Handle Undesired Feature Interaction of Automated Driving., , и . SMC, стр. 4555-4560. IEEE, (2013)Automated WIMP-UI behavior generation: Parallelism and granularity of communication units., , , и . SMC, стр. 2816-2821. IEEE, (2011)Semi-automatic user interface generation considering pointing granularity., , , , и . SMC, стр. 2052-2058. IEEE, (2009)