Вы здесь

Jagadeesan L. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Systematic Software Testing Using VeriSoft - An Analysis of the 4ESS Heart-Beat Monitor 1998 Godefroid P., Hanmer R. S., Jagadeesan L. J. Bell Labs Technical J. 01.08.1998
СТ Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft 1998 Godefroid P., Hanmer R. S., Jagadeesan L. J. Software Engineering Notes 30.07.1998
СТ A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL 1996 Jagadeesan L. J., Puchol C., Von Olnhausen J. E. Formal Methods in System Design 28.06.1996
СТ Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus 1995 Jagadeesan L. J., Jagadeesan R. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software 1995 Jagadeesan L. J., Puchol C., Von Olnhausen J. E. Lecture Notes in Computer Science 27.07.1995