Program analysis alleviates java synchronization

Authors:
Jeffrey George Bogda;Ambuj Singh;Urs Holzle
Affiliations:
-;-;-
Venue:
Program analysis alleviates java synchronization
Year:
2001

Citing 0
Cited 2

Application of design for verification with concurrency controllers to air traffic control software

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract