Roberto Kretschmer

According to our database1, Roberto Kretschmer authored at least 2 papers between 2013 and 2015.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Model-Based Analysis for Safety Critical Software.
Proceedings of the Computer Safety, Reliability, and Security, 2015

2013
Graphical modelling meets formal methods.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013


  Loading...