( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Helping Programmers to Adopt Set-Based Specifications.

, , и . FMSEE&T@FM, том 1385 из CEUR Workshop Proceedings, стр. 3-10. CEUR-WS.org, (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.

Claudia S Segschneider-Christoph

S Danischewski

S Hilt

S Ulrich

S Bachmann

 

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

Modeling waiting systems from domain expert specifications., , и . WSC, стр. 456-460. IEEE Computer Society, (2005)Modeling and Simulation of the SARS-COV-2 Lung Infection and Immune Response with Cell-DEVS., , и . WSC, стр. 1196-1207. IEEE, (2023)Timed synchronizing sequences., и . SpringSim (TMS-DEVS), стр. 21. ACM, (2014)Adapting model-based testing techniques to DEVS models validation., , и . SpringSim (TMS-DEVS), стр. 6. SCS/ACM, (2012)A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises - Application Within STMicroelectronics., , , и . ICEIS (1), стр. 193-200. SciTePress, (2014)LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach., , и . SpringSim (2), стр. 227-234. SCS/ACM, (2007)Applying SMT Solvers to the Test Template Framework, и . MBT, том 80 из EPTCS, стр. 28-42. (2012)Using DEv-PROMELA for Modelling and Verification of Software., , и . SIGSIM-PADS, стр. 245-253. ACM, (2016)Intelligent agents for moving and operating computer generated forces., , , , и . SCSC, стр. 1074-1079. Simulation Councils, Inc., (2007)Improving Business Process in semiconductor manufacturing by Discovering Business Rules., , , и . WSC, стр. 3441-3448. IEEE, (2018)