52 citations · 104 across the 7 of their papers we have counts for
1 paper · 2 filters
Giuseppe Ortolano, Pauline Boucher, Ivo Pietro Degiovanni +3
We introduce a protocol addressing the conformance test problem, which consists in determining whether a process under test conforms to a reference one. We consider a process to be…