La lecture à portée de main
Suivre
Documents
Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire, Temporal requirements checking in a safety analysis of railway critical systems
François Defossez
Documents
Savoirs
Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire, Temporal requirements checking in a safety analysis of railway critical systems
François Defossez
164 pages
Français
Documents
Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems
Joris Rehm
Documents
Savoirs
Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems
Joris Rehm
124 pages
Français
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}