Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • A formal approach to prove com...
  • Beschreibung

Treffer: A formal approach to prove compatibility in transformation networks

Titel:
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
Beteiligt:
Klare, Heiko (Verfasser) ; Pepin, Aurélien (Verfasser); Burger, Erik (Verfasser) ; Reussner, Ralf (Verfasser) 
Körper­schaft:
Karlsruher Institut für Technologie. Institute for Program Structures and Data Organization (Herausgebendes Organ)
Veröffent­licht:
Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
1 Online-Ressource (42 Seiten, 713,29 KB) : Illustrationen, Diagramme
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Karlsruhe reports in informatics ; 2020, 3
Schlagworte:
DOI:
10.5445/IR/1000121444

Zusatz-Informationen

Zusatz-Funktionen