Ernani Crivelli

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Publications

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli
Specifying Industrial Real-Time Systems with a Temporal Logic Framework. Int. J. Softw. Eng. Knowl. Eng. 6 (1) (1996)
Andrea Spinelli, Daniela Pina, Paolo Salvaneschi, Ernani Crivelli, Roberto Meda
Quality Measurement of Software Products: an Experience about a Large Automation System. Objective Software Quality (1995)
Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto
Dealing with different time scales in formal specifications. IWSSD (1991)