A formal approach to specify and synthesize at the system level

Autor:	Blumenroehr, Christian
Jazyk:	angličtina
Rok vydání:	1999
Předmět:	DATA processing & computer science ddc:004
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2c871ab38b01e07ce00e253dee48595 https://publikationen.bibliothek.kit.edu/101099/2317 Zobrazit plný text záznamu