Go home now Header Background Image
Submission Procedure
share: |
Follow us

Elvinia Riccobene
Dipartimento di Matematica, Universit`a di Catania, ITALY

A. Gargantini, E. Riccobene, P. Scandurra:
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
page 1949 - 1983
Vol.14 / Issue 12
A. Gargantini, E. Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
page 1050 - 1067
Vol.7 / Issue 11
E. Börger, E. Riccobene, J. Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case Study
page 597 - 620
Vol.6 / Issue 7
G. Bella, E. Riccobene:
Formal Analysis of the Kerberos Authentication System
page 1337 - 1381
Vol.3 / Issue 12