|
Search the dblp DataBase
David Chemouil:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Chemouil
The Design of Spacecraft On-Board Software. [Citation Graph (0, 0)][DBLP] B, 2007, pp:3- [Conf]
- Nadège Pontisso, David Chemouil
TOPCASED Combining Formal Methods with Model-Driven Engineering. [Citation Graph (0, 0)][DBLP] ASE, 2006, pp:359-360 [Conf]
- Sergei Soloviev, David Chemouil
Some Algebraic Structures in Lambda-Calculus with Inductive Types. [Citation Graph (0, 0)][DBLP] TYPES, 2003, pp:338-354 [Conf]
- Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:153-169 [Journal]
- David Chemouil, Sergei Soloviev
Remarks on isomorphisms of simple inductive types. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
- Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas
The AADL behaviour annex - experiments and roadmap. [Citation Graph (0, 0)][DBLP] ICECCS, 2007, pp:377-382 [Conf]
Modes in Asynchronous Systems. [Citation Graph (, )][DBLP]
A mapping from AADL to Java-RTSJ. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|