Author Info
Name
Affiliation
Papers
JAMES E. VON OLNHAUSEN
Network Systems Platform Development, Lucent Technologies, 1200 E. Warrenville Rd., Naperville, IL
4
Collaborators
Citations 
PageRank 
8
104
11.05
Referers 
Referees 
References 
189
99
56
Search Limit
100189
Title
Citations
PageRank
Year
Model-checking of real-time systems: a telecommunications application: experience report191.811997
A formal approach to reactive systems software: a telecommunications application in ESTEREL.242.451996
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.203.041996
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software413.741995