Result 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. 14 p.
Type
report
Language
English
Authors
Bouajjani Ahmed
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
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 
@misc{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",
  pages="14",
  address="Paříž"
}
Departments
Faculty of Information Technology (FIT)
Back to top