Old Web
English
Sign In
Acemap
>
authorDetail
>
Jean-Arnaud Francois
Jean-Arnaud Francois
STMicroelectronics
Computer science
Real-time computing
Specification language
XML
Formal specification
4
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A reference-based specification tool for creating reliable library development specifications
2014
NEWCAS | International New Circuits and Systems Conference
Jung Kyu Chae
Paul Mougeat
Jean-Arnaud Francois
Roselyne Chotin-Avot
Habib Mehrez
Show All
Source
Cite
Save
Citations (0)
A formalism of the specifications for library development
2013
SoCC | Symposium on Cloud Computing
Jung Kyu Chae
Paul Mougeat
Jean-Arnaud Francois
Roselyne Chotin-Avot
Habib Mehrez
Show All
Source
Cite
Save
Citations (1)
Efficient state-dependent power model for multi-bit flip-flop banks
2013
MWSCAS | International Midwest Symposium on Circuits and Systems
Jung Kyu Chae
Séverine Bertrand
Pierre-Francois Ollagnon
Paul Mougeat
Jean-Arnaud Francois
Roselyne Chotin-Avot
Habib Mehrez
Show All
Source
Cite
Save
Citations (0)
Formalisme de la spécification de la plateforme de conception pour le développement de la bibliothèque
2013
Jung Kyu Chae
Paul Mougeat
Jean-Arnaud Francois
Roselyne Chotin-Avot
Habib Mehrez
Show All
Source
Cite
Save
Citations (0)
1