FRANCFORT STANISLAS

Coupling of a computer program or of data to a reference system and associated verification