If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Pierre-Yves Schobbens is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

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

Mathematics

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