- Tytuł:
- An SMT-Based Approach to the Formal Analysis of MARTE/CCSL.
- Autorzy:
- Źródło:
-
Formal Methods & Software Engineering (9783319478456) ; 2016, p433-449, 17p
Książka
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.