Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Link åbnes på en ny fane
Dansk
English
Søg efter indhold i IT-Universitetet i København
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Kurser
Presse/medier
Aktiviteter
Priser
Probabilistic Models and Process Calculi for Mobile Ad Hoc Networks
Lei Song
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Probabilistic Models and Process Calculi for Mobile Ad Hoc Networks'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Process Calculi
100%
Probabilistic Processes
100%
Mobile Ad Hoc Network (MANET)
100%
Probabilistic Model
100%
Network Topology
62%
Weak Bisimulation
37%
Wireless Connection
37%
Behavioral Equivalence
25%
Random Delay
25%
Deadlock
12%
Mobile Devices
12%
CA Model
12%
Error-prone
12%
Formal Methods
12%
Logical Equivalence
12%
Behavioral Model
12%
Concurrent Systems
12%
Quantitative Properties
12%
State Space Explosion
12%
Strong Bisimulation
12%
Centralized Control
12%
Wired Network
12%
Topology Constraint
12%
Logical Characterization
12%
Network Node
12%
Functional Behavior
12%
Control Component
12%
Constant Change
12%
Timing Behavior
12%
Computer Science
mobile ad-hoc network
100%
Network Topology
62%
Wireless Connection
37%
Deadlock
12%
Logical Equivalence
12%
Behavior Model
12%
Concurrent System
12%
Message Exchange
12%
Running Process
12%
State Space
12%
Wired Connection
12%
Unreliable Connection
12%
Mobile Device
12%