Application of Petri nets to communication networks : advances in Petri nets (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Application of Petri nets to communication networks : advances in Petri netshttps://catalogue-scientifique.canada.ca/record=1873055~S6*frcRechercher Billington, Jonathan; Rechercher Diaz, Michel; Rechercher Rozenberg, GrzegorzSpringer, 1999, ISBN : 9783540658702Livre
Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992 (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992https://catalogue-scientifique.canada.ca/record=1548253~S6*frcRechercher Diaz, Michel; Rechercher Groz, RolandNorth-Holland, 1993, ISBN : 0444892826Livre
The Formal description technique Estelle : results of the ESPRIT/SEDOS Project (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The Formal description technique Estelle : results of the ESPRIT/SEDOS Projecthttps://catalogue-scientifique.canada.ca/record=1433547~S6*frcRechercher Diaz, MichelNorth-Holland, 1989, ISBN : 9780444871329Livre
The Formal description technique Lotos : results of the ESPRIT/SEDOS Project (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The Formal description technique Lotos : results of the ESPRIT/SEDOS Projecthttps://catalogue-scientifique.canada.ca/record=1433617~S6*frcRechercher Eijk, Peter H. J. van; Rechercher Vissers, Chris A; Rechercher Diaz, MichelNorth-Holland, 1989, ISBN : 9780444872678Livre
Interactive distributed multimedia systems and telecommunication services : 6th international workshop, IDMS'99: Toulouse, France, October 12-15, 1999 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Interactive distributed multimedia systems and telecommunication services : 6th international workshop, IDMS'99: Toulouse, France, October 12-15, 1999 : proceedingshttps://catalogue-scientifique.canada.ca/record=1889177~S6*frcRechercher Diaz, Michel; Rechercher Owezarski, Philippe; Rechercher Sénac, PSpringer, 1999Actes de conférence
Application and theory of Petri nets 1995 : 16th international conference, Turin, Italy, June 26-30, 1995 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Application and theory of Petri nets 1995 : 16th international conference, Turin, Italy, June 26-30, 1995 : proceedingshttps://catalogue-scientifique.canada.ca/record=1610857~S6*frcRechercher De Michelis, Giorgio; Rechercher Diaz, MichelSpringer, 1995Actes de conférence
Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verificationhttps://catalogue-scientifique.canada.ca/record=1321390~S6*frcRechercher Diaz, MichelNorth-Holland, 1986Actes de conférence
CFIP'2000 : ingénierie des protocoles, qualité de service, multimédia et mobilité, actes du 8e Colloque francophone sur l'ingénierie des protocoles, Toulouse, France, 17-20 octobre 2000 (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : CFIP'2000 : ingénierie des protocoles, qualité de service, multimédia et mobilité, actes du 8e Colloque francophone sur l'ingénierie des protocoles, Toulouse, France, 17-20 octobre 2000https://catalogue-scientifique.canada.ca/record=1929340~S6*frcRechercher Courtiat, J.-P; Rechercher Diaz, Michel; Rechercher Sénac, PHermès science publications, 2000Actes de conférence