Fingerprint Dive into the research topics where R&D Center for Smart Mobility is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Surface mount technology
Specifications
Theorem proving
Public administration
Transparency
Formal methods
Specification languages
Systems analysis
Access control
Authentication
Fault tree analysis
Semantics
Wireless local area networks (WLAN)
Network protocols
Computer systems
Computer science
Sensor networks
Life cycle
Wireless sensor networks
Wireless networks
Throughput
Experiments
Switches

Mathematics

Transition Matrix
State Transition
Formal Semantics
State Machine
Formalization
Model Checking
Proof by induction
Diagram
Counterexample
Path
Verify
Modeling Language