Skip to main navigation Skip to search Skip to main content

Configuration repair via flow networks

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

Original languageEnglish
Title of host publicationFoundations of Intelligent Systems - 20th International Symposium, ISMIS 2012, Proceedings
Pages321-330
Number of pages10
DOIs
Publication statusPublished - 2012
Externally publishedYes
Event20th International Symposium on Methodologies for Intelligent Systems, ISMIS 2012 - Macau, China
Duration: 4 Dec 20127 Dec 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7661 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th International Symposium on Methodologies for Intelligent Systems, ISMIS 2012
Country/TerritoryChina
CityMacau
Period4/12/127/12/12

Keywords

  • class diagrams
  • configuration repair
  • flow networks
  • formal methods
  • integer linear programming (ILP)
  • unified modeling language (UML)

Fingerprint

Dive into the research topics of 'Configuration repair via flow networks'. Together they form a unique fingerprint.

Cite this