Concepedia

Olivier Ssi Yan Kai

OS

Statistics

Publications

1

Citations

10

H-Index

1

Active since

2010

Affiliations

Université Fédérale de Toulouse Midi-Pyrénées(Current)

Olivier Ssi Yan Kai is an author at Université Fédérale de Toulouse Midi-Pyrénées specializing in computer engineering, software maintenance, and formal methods.

Top concepts

Publications per year

2010–2010

1

Publications

1

Use of formal methods for building qualified code generator for safer automotive systems

Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel et al. · 2010 · 10 citations

, , +23

1–1 of 1