Вы здесь

Cherkaoui O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model-Checking for Real-Time Systems Specified in Lotos 1993 Rico N., Von Bochmann G., Cherkaoui O. Lecture Notes in Computer Science 07.05.1993
СТ Specification and Analysis of a Security Management System 1994 Cherkaoui O., Rico N., Bernardi A. Lecture Notes in Computer Science 09.12.1994