Statistics
Publications
1
Citations
10
H-Index
1
Active since
2002
Affiliations
G. Bossu is an author at Laboratoire Génie et Matériaux Textiles specializing in embedded system security, assertion-based verification, and embedded systems.
Publications per year
2002–2002
1
1
Embedding formally proved code in a smart card: converting B to C
1–1 of 1