Detail publikace

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.
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Bouajjani Ahmed
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abstrakt

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

Rok
2004
Strany
14
Místo
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"
}
Nahoru