An approach to modeling and verification of real-time systems /
In the article an approach to modeling and verification of real-time systems is presented. Specification PEARL desription language in used for HW / SW modeling. It has its origins in the standard Multiprocessor PEARL language. Its usefulnes has been enchanced for asymmetrical multiprocessor system m...
Shranjeno v:
| Main Authors: | , |
|---|---|
| Format: | Book Chapter |
| Jezik: | English |
| Teme: | |
| Sorodne knjige/članki: | Vsebovano v:
Proceedings |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
Vzdrževanje sistema
Trenutno vzdržujemo knjižnični informacijski sistem.
Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate: