Publication Details
Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework
BOUAJJANI, A.; VOJNAR, T. Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework. Paříž: 2004.
Type
report
Language
English
Authors
Bouajjani Ahmed
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Abstract
ADVANCE 5th framewrok European project -- deliverables 16 and 17:Integration of Tools for the analysis of parameterized systems anddynamic networks, Finalized common validation framework.
Published
2004
Pages
14
Place
Paříž
BibTeX
@techreport{BUT192529,
author="Ahmed {Bouajjani} and Tomáš {Vojnar}",
title="Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework",
year="2004",
address="Paříž",
pages="14"
}