Adrien Champion

Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition. (Collaboration of formal techniques for the verification of safety properties over transition systems).

A. Champion. Institut supérieur de l'aéronautique et de l'espace, Toulouse, France, (2014)

:
:

:
:
: Adrien Champion
:
:

0

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

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

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

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