Ernani Crivelli

According to our database, Ernani Crivelli authored at least 3 papers between 1991 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1996

Specifying Industrial Real-Time Systems with a Temporal Logic Framework.

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli

Int. J. Softw. Eng. Knowl. Eng., 1996

1995

Quality Measurement of Software Products: an Experience about a Large Automation System.

Andrea Spinelli, Daniela Pina, Paolo Salvaneschi, Ernani Crivelli, Roberto Meda

Proceedings of the Objective Software Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria, 1995

1991

Dealing with different time scales in formal specifications.

Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto

Proceedings of the 6th International Workshop on Software Specification and Design, 1991