Publications personnelle

91documents trouvés

88261
01/03/1991

Modeling and verification of time dependant distributed systems using time Petri nets

B.BERTHOMIEU, M.DIAZ

OLC

Revue Scientifique : IEEE Transactions on Software Engineering, Vol.17, N°3, pp.259-273, Mars 1991 , N° 88261

Diffusable

3961
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de fonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/