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
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2020, 3Publisher: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020Description: 1 Online-Ressource (42 Seiten, 713,29 KB) : Illustrationen, DiagrammeSubject(s): Genre/Form: DOI: DOI: 10.5445/IR/1000121444Online resources: PPN: PPN: 1725126567Package identifier: Produktsigel: ZDB-296-TTNOpen Access; Controlled Vocabulary for Access Rights DE-89:
http://purl.org/coar/access_right/c_abf2
DE-89 Namensnennung - Nicht kommerziell - Keine Bearbeitungen 4.0 International CC BY-NC-ND 4.0 cc: