Formale Methoden bei der Spezifikation von Hardware

Autor:	Werner Grass, Thomas Kropf, Matthias Mutz
Rok vydání:	1998
Předmět:	General Computer Science
Zdroj:	itit. 40:13-17
ISSN:	2196-7032 1611-2776
DOI:	10.1524/itit.1998.40.3.13
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::89acad45ccae2c46daf1c83a805182f5 https://doi.org/10.1524/itit.1998.40.3.13 Zobrazit plný text záznamu