Old Web
English
Sign In
Acemap
>
authorDetail
>
David Lesens
David Lesens
Computer science
Emulsion
Materials science
Composite material
Software engineering
3
Papers
32
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Space Software Validation using Abstract Interpretation
2009
Olivier Bouissou
Eric Conquet
Patrick Cousot
Radhia Cousot
Jérôme Feret
Khalil Ghorbal
Éric Goubault
David Lesens
Laurent Mauborgne
Antoine Miné
Sylvie Putot
Xavier Rival
Michel Turin
Show All
Source
Cite
Save
Citations (31)
Formal Modeling of Data. A Case Study for Space Applications.
2007
Jean-paul Blanquart
Gérard Bulsa
David Lesens
George Mamais
Maxime Perrotin
Show All
Source
Cite
Save
Citations (0)
Vérification et synthèse de systèmes réactifs
1997
David Lesens
Show All
Source
Cite
Save
Citations (1)
1