Synthesis of embedded software using Free-Choice Petri Nets

Proceedings - Design Automation Conference

Volumn , Issue , 1999, Pages 805-810

  Sgroi, Marco ^a   Lavagno, Luciano ^a   Watanabe, Yosinori ^a   Sangiovanni Vincentelli, Alberto ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; PETRI NETS;

EMBEDDED SOFTWARES; FREE CHOICE PETRI NETS (FCPN);

EMBEDDED SYSTEMS;

EID: 0032643032     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/309847.310073     Document Type: Conference Paper

References (9)