Consistency Check for Component-Based Design of Embedded Systems using SAT-Solving

Peter Verner Bojsen Sørensen, Jan Madsen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publication20th Nordic Workshop on Programming Theory
    Number of pages106
    PublisherInstitute of Cybernetics at Tallinn University of Technology
    Publication date2008
    Pages93-96
    ISBN (Print)978-9949-430-24-6
    Publication statusPublished - 2008
    Event20th Nordic Workshop on Programming Theory - Tallinn, Estonia
    Duration: 19 Nov 200821 Nov 2008
    http://cs.ioc.ee/nwpt08/

    Conference

    Conference20th Nordic Workshop on Programming Theory
    CountryEstonia
    CityTallinn
    Period19/11/200821/11/2008
    Internet address

    Cite this

    Sørensen, P. V. B., & Madsen, J. (2008). Consistency Check for Component-Based Design of Embedded Systems using SAT-Solving. In 20th Nordic Workshop on Programming Theory (pp. 93-96). Institute of Cybernetics at Tallinn University of Technology.