Keyphrases
Bisimulation
100%
Calculus
83%
Weak Bisimulation
77%
Mobile Networks
66%
Probabilistic Automata
66%
Logical Equivalence
55%
Mobility Function
50%
Behavioral Equivalence
50%
Wireless Networks
50%
Abstraction Refinement
33%
Value Creation
33%
Mobility Model
33%
Network Topology
33%
Practice Teaching
33%
Community Engagement
33%
Online Learning Environment
33%
Continuous-time
33%
IT Services
33%
University Courses
33%
Design Experiment
33%
Student Participation
33%
π-calculus
33%
High-order
33%
Wireless Systems
33%
Compositional Minimization
27%
Checking Algorithm
27%
Formal Verification
27%
Probabilistic Computation Tree Logic
22%
External Stakeholders
22%
Concurrent Systems
22%
Connectivity Probability
16%
Probabilistic Connectivity
16%
Probabilistic Broadcast
16%
Network Distribution
16%
Zeroconf
16%
Stochastic Behavior
16%
Minority Variants
16%
Network Node
16%
Connectivity Information
16%
Topology Constraint
16%
Randomized Protocol
16%
Pedagogical Ideas
16%
Rethink
16%
Participatory Learning
16%
In-between Spaces
16%
Didactic Design
16%
Digital Learning Space
16%
Learning Situation
16%
Online Format
16%
Anda
16%
Learning Communities
16%
Digital Tools
16%
Learning Activities
16%
Practice-oriented
16%
Additional Value
16%
Context-aware
16%
Teaching Practice
16%
Practice Learning
16%
Sense of Belonging
16%
Digital Learning
16%
Leader Election Protocol
16%
Denmark
11%
Probabilistic Model Checking
11%
Bisimulation Equivalence
11%
Economic Aspects
11%
Large State
11%
Implicit Analysis
11%
Refinement Techniques
11%
University Leadership
11%
Substantial Change
11%
Explicit Analysis
11%
University Development
11%
University of Copenhagen
11%
Mission Statement
11%
Academy
11%
University Management
11%
Essen
11%
TiAl
11%
Internal Stakeholders
11%
Development Resources
11%
Helios
11%
Strong Bisimulation
11%
Stakeholder Management
11%
Bounded Bisimulations
11%
Infinite State
11%
Prototype Implementation
11%
Quotient Automata
11%
Bisimulation Relation
11%
Stochastic Systems
11%
Semantic Techniques
11%
Semantic Logic
11%
Semantic Validation
11%
Architectural Interface
8%
Pervasive Services
8%
Temperature History
8%
Sound Signal
8%
Conversational Agents
8%
Day Temperature
8%
Relative Location
8%
Voice Signal
8%
Computer Science
Automaton
83%
Wireless Networks
50%
External Stakeholder
33%
Network Topology
33%
Concurrent System
33%
Mobile Network
33%
Continuous Time
33%
Formal Verification
33%
Mobility Model
33%
Logical Equivalence
33%
Model Checking Algorithm
33%
Global Positioning System
33%
Relative Location
33%
Experimental Result
16%
Broadcast Network
16%
Mission Statement
16%
Running Process
16%
distributed delay
16%
Model Checking
16%
Network Distribution
16%
Economic Aspect
16%
Internal Stakeholder
16%
Refinement Step
16%
ad-hoc network
11%
Model Analysis
11%
World Application
11%
Sensor Networks
11%