Nazim Sebih

According to our database, Nazim Sebih authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Cardinality of UDP Transmission Outcomes.

Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2014

Software Model Checking of UDP-based Distributed Applications.

Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Second International Symposium on Computing and Networking, 2014