> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel; E-Artikel; Sonstige Veröffentlichung Titel: A flowgraph model for formalizing the semantics of VHDL in HOL Beteiligte: Reetz, Ralf [Verfasser:in]; Kropf, Thomas [Verfasser:in] Erschienen: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Sprache: Englisch Schlagwörter: DATA processing & computer science Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.