- Tytuł:
- Synthesis of Open Reactive Systems from Scenario-Based Specifications
- Autorzy:
-
Bontemps, Y.
Schobbens, P-Y.
Löding, Ch. - Data publikacji:
- 2004
- Słowa kluczowe:
-
Live Sequence Charts
safety
consistency
synthesis
mercifulness - Pokaż więcej
- Dostawca treści:
- BazTech