Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior."
Link zu diesem Datensatz | https://d-nb.info/1212111451 |
Titel | Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior / Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer |
Person(en) |
Ermel, Claudia (Verfasser) Gall, Jürgen (Verfasser) Lambers, Leen (Verfasser) Taentzer, Gabriele (Verfasser) |
Verlag | Berlin : Technische Universität Berlin |
Zeitliche Einordnung | Erscheinungsdatum: 2020 |
Umfang/Format | Online-Ressource |
Persistent Identifier |
URN: urn:nbn:de:101:1-2020061702000343555116 DOI: 10.14279/depositonce-10206 Handle: 11303/11321 |
URL | (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Beziehungen | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 2011-02 |
DDC-Notation | 006.33 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |