Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol.
Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni
VenueCRSP
Year2003
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/CarchioloMM03 ↗
Browse the full RSP paper archive.