Examens corriges

Diploma Thesis

This thesis presents the high-level temporal specification language Salt (Struc- tured Assertion Language for Temporal Logic), designed for the comfortable.





Télécharger