( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.

, , и . APSEC, стр. 219-226. IEEE Computer Society, (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.

Wahyudi David

Florian Bodo David

Joachim David

Jens-Ulrich Davids

Heinz David

 

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

Combining amorphous computing and reactive agent-based systems: a paradigm for pervasive intelligence?., и . AAMAS, стр. 441-448. ACM, (2002)When Agents Emerge from Agents: Introducing Multi-scale Viewpoints in Multi-agent Simulations., , , и . MABS, том 1534 из Lecture Notes in Computer Science, стр. 183-198. Springer, (1998)Towards Virtual Experiment Laboratories: How Multi-Agent Simulations Can Cope with Multiple Scales of Analysis and Viewpoints., , , и . Virtual Worlds, том 1434 из Lecture Notes in Computer Science, стр. 205-217. Springer, (1998)Variability Management on Behavioral Models., , и . VaMoS, стр. 121-130. (2008)Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems., , и . SHARK, стр. 55-62. ACM, (2008)MDA Platform for Complex Embedded Systems Development., , , и . DIPES, том 150 из IFIP, стр. 1-10. Kluwer/Springer, (2004)Architecture description in related standards., , , и . FDL, стр. 599-609. ECSI, (2005)Modélisation et simulation décosystèmes: Des modèles déterministes aux simulations à événements discrets by Patrick Coquillard and David R. C. Hill.. J. Artificial Societies and Social Simulation, (1998)The CVM Framework - A Prototype Tool for Compositional Variability Management., , , , и . VaMoS, том 37 из ICB-Research Report, стр. 101-105. Universität Duisburg-Essen, (2010)Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing., , и . APSEC, стр. 219-226. IEEE Computer Society, (2011)