Dual-model approach for safety-critical embedded systems
- Łabiak, G.
- Wȩgrzyn, M.
- Rosado-Muñoz, A.
- Bazydło, G.
Journal:
Microprocessors and Microsystems
ISSN: 0141-9331
Year of publication: 2020
Volume: 72
Type: Article