PEZZE', MAURO

PEZZE', MAURO  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 145 (tempo di esecuzione: 0.025 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Voice and data performance measurements in L-express net 02 - Intervento a convegno 1986 PEZZE', MAURO +
Validation of Concurrent ADA Programs using Symbolic Execution 02 - Intervento a convegno 1989 PEZZE', MAURO +
A unified high-level Petri net formalism for time-critical systems 01 - Articolo su rivista 1991 PEZZE', MAURO +
Analyzing refinements of state based specifications: the case of TB nets 02 - Intervento a convegno 1993 PEZZE', MAURO +
Graph Models for Reachability of Concurrent Programs 01 - Articolo su rivista 1995 PEZZE', MAURO +
Generation of Multi-Formalism State-Space Analysis Tools 02 - Intervento a convegno 1996 PEZZE', MAURO +
Toward Formalizing Structured Analysis 01 - Articolo su rivista 1998 PEZZE', MAURO +
Can Graph Grammars Make Formal Methods more Human? 02 - Intervento a convegno 2000 PEZZE', MAURO +
Automated testing of classes 02 - Intervento a convegno 2000 PEZZE', MAURO +
Using symbolic execution for verifying safety-critical systems 02 - Intervento a convegno 2001 DENARO, GIOVANNIPEZZE', MAURO +
Deriving models of software fault-proneness 02 - Intervento a convegno 2002 DENARO, GIOVANNIPEZZE', MAURO +
An empirical evaluation of fault-proneness models 02 - Intervento a convegno 2002 Denaro, GPezzè, M
PLCTOOLS: Graph transformation meets PLC design 01 - Articolo su rivista 2002 PEZZE', MAURO +
A formal design notation for real-time systems 01 - Articolo su rivista 2002 PEZZE', MAURO +
A toolbox for automating visual software engineering 02 - Intervento a convegno 2002 PEZZE', MAURO +
Interclass Testing of Object Oriented Software 02 - Intervento a convegno 2002 PEZZE', MAURO +
Behavior Capture and Test for Controlling the Quality of Component-Based Integrated Systems 02 - Intervento a convegno 2003 MARIANI, LEONARDOPEZZE', MAURO
Design for testability for highly reconfigurable component-based systems 01 - Articolo su rivista 2003 DENARO, GIOVANNIPEZZE', MAURO +
Self-test components for highly reconfigurable systems 01 - Articolo su rivista 2003 DENARO, GIOVANNIMARIANI, LEONARDOPEZZE', MAURO
6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 05 - Curatele 2003 PEZZE', MAURO