Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software (1996)


Download Links

by James Von Olnhausen , Lalita Jategaonkar Jagadeesan , Lalita Jategaonkar Jagadeesan , Carlos Puchol , Carlos Puchol , James E. Von Olnhausen
Venue:In Proceedings of the 7th International Conference on Computer Aided Verification, Volume 939 of the Lecture Notes in Computer Science
Citations:30 - 4 self