Login / Signup

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.

Massimo NarizzanoLuca PulinaArmando TacchellaSimone Vuotto
Published in: NFM (2018)
Keyphrases