Sayali Salvi
According to our database1,
Sayali Salvi
authored at least 2 papers
between 2014 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2014
2015
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the 11th European Dependable Computing Conference, 2015
2014
True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing.
Proceedings of the Computer Safety, Reliability, and Security, 2014