Travelled to:
1 × Italy
Collaborated with:
L.Carnevali E.Vicario
Talks about:
preemptiv (1) exploit (1) theori (1) tailor (1) petri (1) model (1) time (1) net (1)
Person: Leonardo Grassi
DBLP: Grassi:Leonardo
Contributed to:
Wrote 1 papers:
- AdaEurope-2008-CarnevaliGV #formal method #petri net
- A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets (LC, LG, EV), pp. 87–100.