Publication Details

Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework

BOUAJJANI Ahmed and VOJNAR Tomáš. Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework. Paříž, 2004.
Type
technical report
Language
english
Authors
Bouajjani Ahmed (UPAR7)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Abstract

ADVANCE 5th framewrok European project -- deliverables 16 and 17: Integration of Tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework.

Published
2004
Pages
14
Place
Paříž, FR
BibTeX 
@TECHREPORT{FITPUB7661,
   author = "Ahmed Bouajjani and Tom\'{a}\v{s} Vojnar",
   title = "Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework",
   pages = 14,
   year = 2004,
   location = "Pa\v{r}\'{i}\v{z}, FR",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7661"
}
Back to top