Yves Bontemps

  • 619 Citations
  • 8 h-Index
19992011
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Examinez les sujets de recherche où Yves Bontemps 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

Semantics
Specifications
Automation
Forms (concrete)
Air traffic control
Model checking
Computer networks
Visual languages
Software engineering
Concretes
Control systems
Requirements engineering
Chemical analysis
Semiotics
Industry
Polynomials

mathématiques

Chart
Reactive Systems
Open Systems
Realizability
Synthesis
Specification
Scenarios
Model Checking
Polynomial-time Algorithm
Forcing
Industry
Program Synthesis
Game
Software Process