Název: Specification and Generation of Environment for Model Checking of Software Compnents
Autoři: Pařízek, P. ; Plášil, František
Typ dokumentu: Výzkumné zprávy
Rok: 2005
Jazyk: eng
Edice: Technical Report, svazek: 2005/5
Klíčová slova: automatic environment generation; behavior protocols; model checking; software components
Číslo projektu: CEZ:AV0Z10300504 (CEP), GA102/03/0672 (CEP), 1ET400300504 (CEP)
Poskytovatel projektu: GA ČR, GA AV ČR

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0132435

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


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