- Tytuł:
- Towards automated synthesis of concurrent control programs
- Autorzy:
-
Bocewicz, G.
Bzdyra, K.
Banaszak, Z. - Data publikacji:
- 2011
- Słowa kluczowe:
-
automated synthesis
automatic modeling
concurrent control programs - Pokaż więcej
- Dostawca treści:
- BazTech