Résultats de la recherche - Brinksma, Ed

Protocol specification, testing and verification, IX : Konf. Proc. of the IFIP 6.1 9th int. symp. on ..., Enschede, Netherlands, 6.- 9. June 1989 /

Autres auteurs: “…Brinksma, Ed…”

Lectures on formal methods and performance analysis : First EEF/euro summer school on trends in computer science. Berg en Dal, The Netherlands. 3.- 7. July 2000 /

Autres auteurs: “…Brinksma, Ed…”