Original title: Static Checking for Missing Bindings of Components
Authors: Adámek, Jiří ; Plášil, František
Document type: Research reports
Year: 2004
Language: eng
Series: Technical Report, volume: 2004/3
Keywords: behavior protocols; behavior specification; component composition; software component
Project no.: CEZ:AV0Z1030915 (CEP), GA201/03/0911 (CEP)
Funding provider: GA ČR

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0012492

Permalink: http://www.nusl.cz/ntk/nusl-19925


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Reports > Research reports