|
Search the dblp DataBase
Jean-Frédéric Étienne:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
Certifying Airport Security Regulations Using the Focal Environment. [Citation Graph (0, 0)][DBLP] FM, 2006, pp:48-63 [Conf]
- David Delahaye, Catherine Dubois, Jean-Frédéric Étienne
Extracting Purely Functional Contents from Logical Inductive Types. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:70-85 [Conf]
Modeling Airport Security Regulations in Focal. [Citation Graph (, )][DBLP]
Reasoning about Airport Security Regulations Using the Focal Environment. [Citation Graph (, )][DBLP]
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|