Detail výsledku

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.
Typ
zpráva odborná
Jazyk
angličtina
Autoři
Bouajjani Ahmed
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
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 
@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říž"
}
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru