スマートモビリティ研究開発センター

Fingerprint スマートモビリティ研究開発センターが取り組む研究トピックをご確認ください。これらのトピックラベルは、この組織のメンバーの研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

Engineering & Materials Science

Model checking
Surface mount technology
Specifications
Theorem proving
Public administration
Transparency
Formal methods
Systems analysis
Access control
Authentication
Specification languages
Fault tree analysis
Semantics
Wireless local area networks (WLAN)
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