Vérification de systèmes probabilisés : méthodes et outils

dc.contributor.author	Haddad, Serge HAL ID: 745039
dc.contributor.author	Moreaux, Patrice HAL ID: 10630
dc.date.accessioned	2010-11-10T14:48:45Z
dc.date.available	2010-11-10T14:48:45Z
dc.date.issued	2006
dc.identifier.uri	https://basepub.dauphine.fr/handle/123456789/5029
dc.language.iso	en	en
dc.subject	Temps réel (informatique)	en
dc.subject	Ingénierie des systèmes	en
dc.subject	systèmes probabilisés	en
dc.subject.ddc	519	en
dc.title	Vérification de systèmes probabilisés : méthodes et outils	en
dc.type	Chapitre d'ouvrage
dc.identifier.citationpages	261-292	en
dc.relation.ispartoftitle	Systèmes temps réel 1 : Techniques de description et de vérification	en
dc.relation.ispartofeditor	N. Navet
dc.relation.ispartofpublname	Hermes/Lavoisier	en
dc.relation.ispartofdate	2006
dc.relation.ispartofpages	370	en
dc.description.sponsorshipprivate	oui	en
dc.subject.ddclabel	Probabilités et mathématiques appliquées	en
dc.relation.ispartofisbn	2-7462-1303-6	en

Files in this item

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