Notice détaillée
Titre
Buchs, Didier
Sciper ID
104657
Laboratoires affiliés
LGL
Publications
ACCESS - Algebraic Concurrent Events for System Specification
Adding Real Time Constraints to Synchronised Petri Nets
CoopnTools a Toolkit for the support of CO-OPN
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller
Le projet TSPP
Methodology for Producing Parallel Probabilistic Algorithms from Specifications: Collection of Articles
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism
Parallel Distributed Algorithm Design through Specification Transformation: The Asynchronous Vision System
Progressive generation of parallel solutions for formally specified problems
TSPP methodology for producing parallel probabilistic algorithms from specifications
Voir toutes les publications (75)
Adding Real Time Constraints to Synchronised Petri Nets
CoopnTools a Toolkit for the support of CO-OPN
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller
Le projet TSPP
Methodology for Producing Parallel Probabilistic Algorithms from Specifications: Collection of Articles
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism
Parallel Distributed Algorithm Design through Specification Transformation: The Asynchronous Vision System
Progressive generation of parallel solutions for formally specified problems
TSPP methodology for producing parallel probabilistic algorithms from specifications
Voir toutes les publications (75)
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People