Вы здесь

Kemmerer R. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Evaluating the Security of Three Java-Based Mobile Agent Systems 2001 Fischmeister S., Vigna G., Kemmerer R. A. Lecture Notes in Computer Science 23.12.2001
СТ Classification Schemes to Aid in the Analysis of Real-Time Systems 2000 Kolano P. Z., Kemmerer R. A. Software Engineering Notes 14.12.2000
СТ Parallel Refinement Mechanisms for Real-Time Systems 2000 Kolano P. Z., Kemmerer R. A., Mandrioli D. Lecture Notes in Computer Science 25.04.2000
СТ Specification of Real-Time Systems Using ASTRAL 1997 Coen-Porisini A., Ghezzi C., Kemmerer R. A. IEEE Trans. on Software Engineering 31.01.1998
СТ A Formal Framework for ASTRAL Inter-level Proof Obligations 1995 Coen-Porisini A., Kemmerer R. A., Mandrioli D. Lecture Notes in Computer Science Software Engineering - ESEC 95 30.11.1995
СТ The Composability of ASTRAL Realtime Specifications 1993 Coen-Porisini A., Kemmerer R. A. Software Engineering Notes 29.09.1993