Idir Aït-Sadoune

Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve. (Modelling and verifying services compositions).

I. Aït-Sadoune. École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France, (2010)

:
:

0

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

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

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

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