- Tytuł:
- Compositional Synthesis of Generalized Mealy Machines
- Autorzy:
-
Tini, S.
Maggiolo-Schettini, A. - Data publikacji:
- 2004
- Słowa kluczowe:
-
Mealy machine
LTL
synthesis - Język:
- angielski
- Dostawca treści:
- BazTech
- Artykuł
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.