#specification
Documents
Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles, Formal specification of distributed real time systems using an approach based on temporally constrained data flows
Documents
Contribution à la modélisation d'un système interactif d'aide à la conduite d'un prodédé industriel, Contribution to the modelling of an interactive aiding system for industrial process control
Documents
From Operational Semantics to Abstract Machines John Hannan Department of Computer Science University of Copenhagen Universitetsparken DK Copenhagen East Denmark dk Dale Miller Computer and Information Science University of Pennsylvania Philadelphia PA USA upenn edu
Documents
Rapports de stage
From Operational Semantics to Abstract Machines John Hannan Department of Computer Science University of Copenhagen Universitetsparken DK Copenhagen East Denmark dk Dale Miller Computer and Information Science University of Pennsylvania Philadelphia PA USA upenn edu
46 pages
English
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
