Ouvrir le menu
Publier un document
Alternate Text
clear
fr
Ouvrir le menu
Category Category Supervisory control for modal specifications of services

Supervisory control for modal specifications of services

icon

17

pages

icon

English

icon

Documents

Écrit par

Publié par

Lire un extrait
Alternate Text
Lire un extrait
Alternate Text

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
icon

17

pages

icon

English

icon

Ebook

Lire un extrait
Alternate Text
Lire un extrait
Alternate Text

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

Nombre de lectures

6

Langue

English

Niveau: Supérieur
appor t de r ech er ch e IS S N 02 49 -6 39 9 IS R N IN R IA /R R -- 72 47 -- FR +E N G Thème COM INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Supervisory Control for Modal Specifications of Services Philippe Darondeau — Jérémy Dubreil — Hervé Marchand N° 7247 April 2010 in ria -0 04 72 73 6, v er sio n 1 - 1 3 Ap r 2 01 0

  • safety properties

  • specifications modales

  • modal specification

  • problem

  • supervisory control

  • service

  • final states

  • every modal

  • liveness properties into


Voir Alternate Text

Publié par

Nombre de lectures

6

Langue

English

Darondeau Marchand Problem Supervisory control Service
Voir Alternate Text
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Signaler un problème
playstore
appstore
facebook twitter instagram youtube

YouScribe

Le catalogue

Le service

Les conditions

© 2010-2024 YouScribe
Livre audio en ligne - Développement personnel Livre en ligne Tout le catalogue Tous les Intérêts
Alternate Text
Category

Book

Book

icon play
icon play Infos