YN

Yuki Nakamura

Mutual Connections
Loading...
S9-042025-2911841

Send Message

No file chosen
2 Publications
0 Followers
0 Following
0 Questions

👤 About

Skills & Expertise

No skills added yet.

Research Interests

No research interests added yet.

Connect With Me

📚 Publications (2)

Formal Verification of Software Defined Networking Controllers Through Temporal Logic and Model Checking Techniques
Journal: IACSE - International Journal of Computer Applications • January 2025
Software Defined Networking (SDN) has transformed modern networking by decoupling the control plane from the data plane, enabling centralized management and dynamic configuration. However, the correct...
Software defined networking Formal verification Temporal logic Model checking Nusmv Uppaal Spin Controller reliability
The Influence of Integrated Strategic Management Approaches on Organizational Adaptability and Long-Term Financial Performance in Volatile Economic Environments
Journal: ISCSITR - International Journal of Business Management • August 2023
In an era of heightened global uncertainty, organizations face increasing challenges to remain adaptable and financially resilient. This study explores the impact of integrated strategic management (I...
Integrated strategic management Organizational adaptability Financial resilience Volatility Long-term performance
dd