Borislav Gajanovic

According to our database1, Borislav Gajanovic authored at least 2 papers between 2007 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Model Driven Testing of Time Sensitive Distributed Systems.
CoRR, 2014

2007
ALICE: An Advanced Logic for Interactive Component Engineering.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007


  Loading...