LavagnoLuciano

High-Level Modeling and Design of Asynchronous Interface Logic

V YakovlevAlexandre, M KoelmansAlbert, LavagnoLuciano, 1995 .

Scheduling for Embedded Real-Time Systems

LavagnoLuciano, BalarinFelice, MurthyPraveen, 1998 .

Deriving Petri Nets from Finite Transition Systems

LavagnoLuciano, YakovlevAlexandre, CortadellaJordi, 1998 .

Hardware-Software Codesign of Embedded Systems

LavagnoLuciano, Sangiovanni-VincentelliAlberto, ChiodoMassimilano, 1994 .