| 2007 |
|---|
| 3 | EE | Benedetto Intrigila,
Igor Melatti,
Alberto Tofani,
Guido Macchiarelli:
Computational models of myocardial endomysial collagen arrangement.
Computer Methods and Programs in Biomedicine 86(3): 232-244 (2007) |
| 2006 |
|---|
| 2 | EE | Giuseppe Della Penna,
Alberto Tofani,
Marcello Pecorari,
Orazio Raparelli,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci:
A Case Study on Automated Generation of Integration Tests.
FDL 2006: 278-284 |
| 1 | | Giuseppe Della Penna,
Daniele Magazzeni,
Alberto Tofani,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci:
Automatic generation of optimal controllers through model checking techniques.
ICINCO-ICSO 2006: 26-33 |
