Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Examinez les sujets de recherche où PIERRE-YVES SCHOBBENS est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

Ingénierie et Science des Matériaux

Model checking
Temporal logic
Semantics
Clocks
Specifications
Testing
Real time systems
Requirements engineering
Specification languages
Reliability analysis
Software engineering
Adaptive systems
Telecommunication systems
Quality assurance
Embedded systems
Data storage equipment
Automation
Markov processes
Formal methods
Engineers
Computer hardware description languages
Acoustic waves
Sampling
Visualization
Industry
Launching
Taxonomies
Syntactics

mathématiques

Logic
Temporal Logic
Axiomatization
Real-time
Software Product Lines
Model Checking
Proof System
Formal Analysis
Second-order Systems
Specification
Specification Languages
Algebraic Specification
Axioms
Model
Requirements Engineering
Transition Systems
Chart
Co-design
Self-adaptation
Testing
Configuration
Reactive Systems
Prioritization
Programming
Coevolution
Linear Temporal Logic
Completeness
Timed Automata
Algebraic Approach
Formal Verification
Open Systems
Systems Engineering