- Tytuł:
- Application of formal methods for hardware/software co-design of embedded systems
- Autorzy:
- Piotrowicz, M.
- Data publikacji:
- 2007
- Słowa kluczowe:
-
ko-projektowanie sterowników
ko-projektowanie
mieszane sterowniki wbudowane
sieci Petriego
logika temporalna
metody formalne
co-design of embedded system
co-verification
mixed hardware/software systems
Petri nets
temporal logic
formal methods - Pokaż więcej
- Dostawca treści:
- BazTech