Nazim Sebih

According to our database, Nazim Sebih authored at least 2 papers in 2015.

Collaborative distances:

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

2015

Software Model Checking of UDP-based Distributed Applications.

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

Int. J. Netw. Comput., 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