- Tytuł:
- Cross modeling of embedded systems using SysML and Petri Nets
- Autorzy:
-
Szmuc, Wojciech
Szmuc, Tomasz - Data publikacji:
- 2018
- Wydawca:
- Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
- Tematy:
-
embedded systems
cross modeling
formal verification
systemy wbudowane
modelowanie krzyżowe
formalna weryfikacja - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki