Synthesis of Conditional Behaviours Using Hierarchical Conditional Dependency Graphs and Constraint Logic Programming

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

Abstract

Abstract not available

Details

Authors
  • Krzysztof Kuchcinski
  • Christophe Wolinski
Organisations
Research areas and keywords

Subject classification (UKÄ) – MANDATORY

  • Computer Science
Original languageEnglish
Title of host publicationProc.eedings of the Symposium on Digital Systems Design
Publication statusPublished - 2001
Publication categoryResearch
Peer-reviewedNo