Using constraint programming to verify DOPLER variability models

Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz

Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

Original languageEnglish
Title of host publicationVaMoS 2011
Number of pages10
Publication statusPublished - 2011

Fields of science

  • 102 Computer Sciences
  • 102007 Computer animation
  • 102009 Computer simulation
  • 102006 Computer supported cooperative work (CSCW)
  • 102015 Information systems
  • 501013 Motivational psychology
  • 211913 Quality assurance

Cite this