Authors: MANDRIOLI D MORASCA S MORZENTI A

Citation: D. Mandrioli et al., GENERATING TEST CASES FOR REAL-TIME SYSTEMS FROM LOGIC SPECIFICATIONS, ACM transactions on computer systems, 13(4), 1995, pp. 365-398

Authors: COENPORISINI A KEMMERER RA MANDRIOLI D

Citation: A. Coenporisini et al., A FORMAL FRAMEWORK FOR ASTRAL INTRALEVEL PROOF OBLIGATIONS, IEEE transactions on software engineering, 20(8), 1994, pp. 548-561

Authors: FELDER M MANDRIOLI D MORZENTI A

Citation: M. Felder et al., PROVING PROPERTIES OF REAL-TIME SYSTEMS THROUGH LOGICAL SPECIFICATIONS AND PETRI-NET MODELS, IEEE transactions on software engineering, 20(2), 1994, pp. 127-141

Authors: FUGGETTA A GHEZZI C MANDRIOLI D MORZENTI A

Citation: A. Fuggetta et al., EXECUTABLE SPECIFICATIONS WITH DATA-FLOW DIAGRAMS, Software, practice & experience, 23(6), 1993, pp. 629-653

Authors: MORZENTI A MANDRIOLI D GHEZZI C

Citation: A. Morzenti et al., A MODEL PARAMETRIC REAL-TIME LOGIC, ACM transactions on programming languages and systems, 14(4), 1992, pp. 521-573