- Tytuł:
- Automating Synthesis of Asynchronous Communication Mechanisms
- Autorzy:
-
Gorgônio, K.
Xia, F.
Yakovlev, A. - Data publikacji:
- 2007
- Słowa kluczowe:
-
asynchronous communication mechanisms
Petri net
concurrent and distributed systems
embedded system
hardware and software codesign
protocols
synthesis - Pokaż więcej
- Dostawca treści:
- BazTech