Original title: Specification and Generation of Environment for Model Checking of Software Compnents
Authors: Pařízek, P. ; Plášil, František
Document type: Research reports
Year: 2005
Language: eng
Series: Technical Report, volume: 2005/5
Keywords: automatic environment generation; behavior protocols; model checking; software components
Project no.: CEZ:AV0Z10300504 (CEP), GA102/03/0672 (CEP), 1ET400300504 (CEP)
Funding provider: GA ČR, GA AV Č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/0132435

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


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