Yusuf Bora Kartal

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Object Oriented Programming Language

Timing Constraints

Network Protocols

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Yusuf Bora Kartal, Ece Guran Schmidt, Klaus Werner Schmidt
Modeling Distributed Real-Time Systems in TIOA and UPPAAL. ACM Trans. Embed. Comput. Syst. 16 (1) (2016)
Yusuf Bora Kartal, Ece Guran Schmidt, Klaus Werner Schmidt
The verification of a novel framework for real-time shared medium communication network protocols. SIU (2012)