Вы здесь

Havelund K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Applying Jlint to Space Exploration Software 2004 Artho C., Havelund K. Lecture Notes in Computer Science 12.02.2004
СТ Rule-Based Runtime Verification 2004 Barringer H., Goldberg A., Havelund K., Sen K. Lecture Notes in Computer Science 11.02.2004
СТ Experiments with Test Case Generation and Runtime Analysis 2003 Artho C., Drusinsky D., Goldberg A., Havelund K., Lowry M., Pasareanu C., Rosu G., Visser W. Lecture Notes in Computer Science 28.03.2003
СТ Using Runtime Analysis to Guide Model Checking of Java Programs 2000 Havelund K. Lecture Notes in Computer Science 26.09.2000
СТ Applying Model Checking in Java Verification 1999 Havelund K., Skakkebaek U. Lecture Notes in Computer Science 26.10.1999
СТ Formal, Model-Oriented Software Development Methods. From VDM to ProCoS & from RAISE to LaCoS 1990 Bjorner D., Haxthausen A. E., Havelund K. 29.09.1999
СТ Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL 1999 Havelund K., Larsen K. G., Skou A. Lecture Notes in Computer Science 18.06.1999