Old Web
English
Sign In
Acemap
>
authorDetail
>
Guillaume Dupont
Guillaume Dupont
ENSEEIHT
Computer science
Differential equation
Control engineering
Train
Top-down and bottom-up design
2
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
2019
TASE | Theoretical Aspects of Software Engineering
Guillaume Dupont
Yamine Ait-Ameur
Marc Pantel
Neeraj Kumar Singh
Show All
Source
Cite
Save
Citations (0)
Modelling Hybrid Train Speed Controller using Proof and Refinement
2019
ICECCS | International Conference on Engineering of Complex Computer Systems
Paulius Stankaitis
Guillaume Dupont
Neeraj Kumar Singh
Yamine Ait-Ameur
Alexei Iliasov
Alexander Romanovsky
Show All
Source
Cite
Save
Citations (1)
1