- Tytuł :
- Formally verifying consistency of sequence diagrams for safety critical systems
- Autorzy :
- Źródło :
- In Science of Computer Programming 1 April 2022 216
-
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.