Xavier Nicollin

ATP : une algebre pour la specification et l'analyse des systemes temps reel. (ATP: an algebra for the specification and analysis of real time systems).

X. Nicollin. Grenoble Institute of Technology, France, (1992)

:
:

:
:
: Xavier Nicollin
:
:

0

Что такое BibSonomy?: С чего начать; Кнопки для браузера; Помощь
Разработчикам: Обзор; API-документация

Контакт и защита личных данных: о нас; Cookies; Сообщить о проблеме; BibSonomy Вики

Интеграция: PUMA; Расширение для TYPO3; Плагин для; Клиент Java REST; Поддерживаемые источники; далее

О BibSonomy: Команда; Блог; Список рассылки
Социальные сети: Наш Twitter