Ekaterina Dolginova

According to our database1, Ekaterina Dolginova authored at least 2 papers between 1996 and 1997.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1997
Safety Verification for Automated Platoon Maneuvers: A Case Study.
Proceedings of the Hybrid and Real-Time Systems, 1997

1996
A Toolbox for Proving and Maintaining Hybrid Specifications.
Proceedings of the Hybrid Systems IV, 1996


  Loading...