Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos. A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour. ECEASST, 70, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.