Název: Verification of DESIGNER Functions
Autoři: Khailova, Natalia
Typ dokumentu: Výzkumné zprávy
Rok: 1999
Jazyk: eng
Edice: Research Report, svazek: 1947
Číslo projektu: AV0Z1075907 (CEP)

Instituce: Ústav teorie informace a automatizace AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v repozitáři Akademie věd.
Původní záznam: http://hdl.handle.net/11104/0130111

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-34695


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav teorie informace a automatizace
Zprávy > Výzkumné zprávy