APPEL-AGILA ProPErty and Dependency Description Language

DSpace Repository

APPEL-AGILA ProPErty and Dependency Description Language

Author: Grimm, Christoph; Wawrzik, Frank; Jung, Alexander Louis-Ferdinand; Luebeck, Konstantin; Post, Sebastian; Koch, Johannes; Bringmann, Oliver
Tübinger Autor(en):
Bringmann, Oliver
Jung, Alexander
Lübeck, Konstantin
Published in: Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) Workshop 2021 (2021), Bd. , S. 1-11
Language: English
Full text: https://ieeexplore.ieee.org/document/9399724
ISBN: 978-3-8007-5500-4
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Artikel
Konferenzveröffentlichung
Show full item record

This item appears in the following Collection(s)