( en | de | ru )

 

Disambiguation of "Servat, David"

Author of the publication

copydeleteadd this publication to your clipboard
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.

, , and . APSEC, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Other publications of authors with the same name

When Agents Emerge from Agents: Introducing Multi-scale Viewpoints in Multi-agent Simulations., , , and . MABS, volume 1534 of Lecture Notes in Computer Science, page 183-198. Springer, (1998)Combining amorphous computing and reactive agent-based systems: a paradigm for pervasive intelligence?., and . AAMAS, page 441-448. ACM, (2002)Towards Virtual Experiment Laboratories: How Multi-Agent Simulations Can Cope with Multiple Scales of Analysis and Viewpoints., , , and . Virtual Worlds, volume 1434 of Lecture Notes in Computer Science, page 205-217. Springer, (1998)Variability Management on Behavioral Models., , and . VaMoS, page 121-130. (2008)Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems., , and . SHARK, page 55-62. ACM, (2008)MDA Platform for Complex Embedded Systems Development., , , and . DIPES, volume 150 of IFIP, page 1-10. Kluwer/Springer, (2004)Architecture description in related standards., , , and . FDL, page 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., , , , and . VaMoS, volume 37 of ICB-Research Report, page 101-105. Universität Duisburg-Essen, (2010)Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing., , and . APSEC, page 219-226. IEEE Computer Society, (2011)