Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail projektu
Období řešení: 01.10.2001 — 31.01.2004
Označení
IST-1999-29082
Originální jazyk
angličtina
Řešitelé
Bouajjani Ahmed - hlavní řešitel
Výsledky
MATOUŠEK, P. Tools for Parametric Verification: A Comparison on a Case Study. In Proceedings of the 5th Joint Workshop on FSCBS. Stirling: University of Stirling, 2004. p. 45-55. ISBN: 1-85769-197-0.Detail
MATOUŠEK, P. A New Data Structure Based on Intervals. In Proceedings of MOVEP'04. Bruxelles: 2004. p. 16-21.Detail
MATOUŠEK, P., SIGHIREANU, M. Parametric Analysis of PGM protocol. Advance meeting, Paris: 2004.Detail
MATOUŠEK, P. Tools for Parametric Verification. A Comparison on a Case Study. Journal of Universal Computer Science, 2004, vol. 10, no. 10, p. 1469-1495. ISSN: 0948-6968.Detail
BOUAJJANI, A., HABERMEHL, P., VOJNAR, T. Abstract Regular Model Checking. Lecture Notes in Computer Science, 2004, vol. 2004, no. 3114, p. 372-386. ISSN: 0302-9743.Detail
Odkaz
http://verif.liafa.jussieu.fr/~haberm/ADVANCE/main.html