Old Web
English
Sign In
Acemap
>
authorDetail
>
D Chemouil
D Chemouil
Computer science
Software
Software engineering
Discrete mathematics
Categorical variable
5
Papers
12
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
2010
P. Arberet
J Bodeviex
F. Boniol
Jérémy Buisson
G Cannenterre
D Chemouil
Alexandre Cortier
Fabien Dagnat
F. Dupont
Mamoun Filali
Emmanuel Fleury
J. Forget
Gerald Garcia
F. Herbreteau
E. Morand
Julien Ouy
G Sutre
Ana-Elena Rugina
M. Streker
Jean-Pierre Talpin
Show All
Source
Cite
Save
Citations (0)
FDIR Strategy Validation with the B Method
2008
D Sabatier
B. Dellandrea
D Chemouil
Show All
Source
Cite
Save
Citations (6)
AADL Modes for Space Software
2008
J.-F. Rolland
Mamoun Filali
J. P. Bodeveixm
D Chemouil
Daniel Thomas
A. Rossignol
Show All
Source
Cite
Save
Citations (3)
The SPaCIFY Project
2008
D Chemouil
Show All
Source
Cite
Save
Citations (1)
Non-standard reductions and categorical models in typed lambda-calculus
2005
F. Barral
D Chemouil
Sergei Soloviev
Show All
Source
Cite
Save
Citations (2)
1