Modèles temporisés

dc.contributor.author	Bérard, Béatrice HAL ID: 9360
dc.date.accessioned	2010-03-17T15:20:30Z
dc.date.available	2010-03-17T15:20:30Z
dc.date.issued	2006
dc.identifier.uri	https://basepub.dauphine.fr/handle/123456789/3729
dc.language.iso	fr	en
dc.subject	Méthodes formelles	en
dc.subject	Systèmes à paramètres répartis	en
dc.subject.ddc	004	en
dc.title	Modèles temporisés	en
dc.type	Chapitre d'ouvrage
dc.identifier.citationpages	53-91	en
dc.relation.ispartoftitle	Méthodes formelles pour les systèmes répartis et coopératifs	en
dc.relation.ispartofeditor	Haddad, Serge
dc.relation.ispartofeditor	Kordon, Fabrice
dc.relation.ispartofeditor	Petrucci, Laure
dc.relation.ispartofpublname	Hermes/Lavoisier	en
dc.relation.ispartofpublcity	Paris	en
dc.relation.ispartofdate	2006
dc.relation.ispartofpages	347	en
dc.description.sponsorshipprivate	oui	en
dc.subject.ddclabel	Informatique générale	en
dc.relation.ispartofisbn	2-7462-1447-4	en

Files in this item

Files	Size	Format	View
There are no files associated with this item.