Login / Signup

Lutess: a testing environment for synchronous software.

Lydie du BousquetFarid OuabdesselamIoannis ParissisJean-Luc RichierNicolas Zuanon
Published in: Tool Support for System Specification, Development and Verification (1998)
Keyphrases