Název: Static Checking for Missing Bindings of Components
Autoři: Adámek, Jiří ; Plášil, František
Typ dokumentu: Výzkumné zprávy
Rok: 2004
Jazyk: eng
Edice: Technical Report, svazek: 2004/3
Klíčová slova: behavior protocols; behavior specification; component composition; software component
Číslo projektu: CEZ:AV0Z1030915 (CEP), GA201/03/0911 (CEP)
Poskytovatel projektu: GA Č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/0012492

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


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