Login / Signup

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.

Virginia PapailiopoulouLaya MadaniLydie du BousquetIoannis Parissis
Published in: FMICS (2008)
Keyphrases