Specification and verification of a parametric handover procedure using TLA /
In mobile systems, some nodes link dynamically through different channels at different times. The $▫pi▫$-calculus is a popular process algebra for specification and verification of systems with dynamic linking and synchronous, rendezvous message passing communication of component processes. Dynamic...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Book Chapter |
| Jezik: | English |
| Teme: | |
| Sorodne knjige/članki: | Vsebovano v:
Journal of circuits, systems, and computers |
| 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: