Detail publikace

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

BOUAJJANI, A. VOJNAR, T.

Originální název

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

Typ

zpráva odborná

Jazyk

angličtina

Originální abstrakt

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.

Autoři

BOUAJJANI, A.; VOJNAR, T.

Vydáno

20. 1. 2004

Místo

Paříž

Strany počet

14

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"
}