Concepedia

Matteo Venturelli

MV

Statistics

Publications

2

Citations

75

H-Index

2

Active since

2001

Affiliations

Reply (Italy)(Current)

Politecnico di Milano

TXT e-solutions (Italy)

Ripamonti

Matteo Venturelli is an author at Reply (Italy) specializing in specification languages, real-time systems verification, and software engineering.

ORCID

Publications per year

2001–2001

2

Publications

2

Combining UML and formal notations for modelling real-time systems

Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli · 2001 · 53 citations

, , +15

Combining UML and formal notations for modelling real-time systems

Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli · ACM SIGSOFT Software Engineering Notes · 2001 · 22 citations

, , +15

1–2 of 2