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