AAAAAA

   
Results: 1-7 |
Results: 7
A THEORY OF IMPLEMENTATION AND REFINEMENT IN TIMED PETRI NETS
Authors: FELDER M GARGANTINI A MORZENTI A
Citation: M. Felder et al., A THEORY OF IMPLEMENTATION AND REFINEMENT IN TIMED PETRI NETS, Theoretical computer science, 202(1-2), 1998, pp. 127-161
ON THE APPROXIMABILITY OF SOME MAXIMUM SPANNING TREE PROBLEMS
Authors: GALBIATI G MORZENTI A MAFFIOLI F
Citation: G. Galbiati et al., ON THE APPROXIMABILITY OF SOME MAXIMUM SPANNING TREE PROBLEMS, Theoretical computer science, 181(1), 1997, pp. 107-118
GENERATING TEST CASES FOR REAL-TIME SYSTEMS FROM LOGIC SPECIFICATIONS
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
PROVING PROPERTIES OF REAL-TIME SYSTEMS THROUGH LOGICAL SPECIFICATIONS AND PETRI-NET MODELS
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
A SHORT NOTE ON THE APPROXIMABILITY OF THE MAXIMUM LEAVES SPANNING TREE PROBLEM
Authors: GALBIATI G MAFFIOLI F MORZENTI A
Citation: G. Galbiati et al., A SHORT NOTE ON THE APPROXIMABILITY OF THE MAXIMUM LEAVES SPANNING TREE PROBLEM, Information processing letters, 52(1), 1994, pp. 45-49
EXECUTABLE SPECIFICATIONS WITH DATA-FLOW DIAGRAMS
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
A MODEL PARAMETRIC REAL-TIME LOGIC
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
Risultati: 1-7 |