Service restrictions from February 12-22, 2026—more information on the University Library website

Result: A formal approach to prove compatibility in transformation networks

Title:
A formal approach to prove compatibility in transformation networks / Heiko Klare, Aurélien Pepin, Erik Burger, Ralf Reussner ; Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KIT), Germany
Involved:
Klare, Heiko (Verfasser) ; Pepin, Aurélien (Verfasser); Burger, Erik (Verfasser) ; Reussner, Ralf (Verfasser) 
Corporation:
Karlsruher Institut für Technologie. Institute for Program Structures and Data Organization (Herausgebendes Organ)
Published:
Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020
Distribution:
Hannover : Technische Informationsbibliothek (TIB)
Scope:
1 Online-Ressource (42 Seiten, 713,29 KB) : Illustrationen, Diagramme
Resource Type:
eBook
Language:
English
Series/ Mutipart item:
Karlsruhe reports in informatics ; 2020, 3
Subject Added Keywords:
DOI:
10.5445/IR/1000121444

Additional information

Additional functions