P U B L I C A T I O N I N T E R N E No

Description

Niveau: Supérieur
I R I S A IN ST IT U T D E R EC HE RC HE EN IN FO RM AT IQ UE ET SY ST ÈM ES ALÉ ATO IRE S P U B L I C A T I O N I N T E R N E No I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCEIS SN 1 16 6- 86 87 1921 SUPERVISORY CONTROL FOR OPACITY JÉRÉMY DUBREIL, PHILIPPE DARONDEAU AND HERVÉ MARCHAND

• line payment


• transition system


• such properties


• alphabet ?


• transition systems


• centre national de la recherche scientifique


• system belongs


• secret can


• algorithme etend des resultats precedemment


• service has

Sujets

• Université de Rennes
• Darondeau
• Marchand
• State transition system
• Centre national de la recherche scientifique

Informations

• Publié par: chaeh
• Nombre de lectures: 20
• Langue: English

Extrait

P U B L I C A T I O N I N T E R N E N o 1921

SUPERVISORY CONTROL FOR OPACITY

JÉRÉMY DUBREIL, PHILIPPE DARONDEAU AN MARCHAND

I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE

D HERVÉ