Export 2 results:
Filters: Author is Shiva Nejati and Keyword is Workshop  [Clear All Filters]
2014
R. Behjati and S. Nejati. Interactive Configuration Verification Using Constraint Programming In Lyon, France. Lyon, France: CP meets Verification, 2014.
2012
R. Behjati, S. Nejati, A. Gotlieb, T. Yue and L. Briand. Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction Over Finite Domains. Simula Research Laboratory, 2012.PDF icon Simula.simula.1168.pdf (405.69 KB)