Mostrar el registro sencillo del ítem
Sur la décidabilité de certaines problèmes de synthèse de controleurs
dc.contributor.author | BRIAND, Xavier | |
dc.date | 2006-06-28 | |
dc.date.accessioned | 2021-01-13T14:03:25Z | |
dc.date.available | 2021-01-13T14:03:25Z | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/25307 | |
dc.format | application/pdf | |
dc.language | fr | |
dc.rights | free | |
dc.subject | Informatique | |
dc.subject | Systèmes à événements discrets (SED) | |
dc.subject | automate | |
dc.subject | μ-calcul modal | |
dc.title | Sur la décidabilité de certaines problèmes de synthèse de controleurs | |
dc.type | Thèses de doctorat | |
bordeaux.hal.laboratories | Thèses Bordeaux 1 Ori-Oai | * |
bordeaux.institution | Université de Bordeaux | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Sur%20la%20d%C3%A9cidabilit%C3%A9%20de%20certaines%20probl%C3%A8mes%20de%20synth%C3%A8se%20de%20controleurs&rft.atitle=Sur%20la%20d%C3%A9cidabilit%C3%A9%20de%20certaines%20probl%C3%A8mes%20de%20synth%C3%A8se%20de%20controleurs&rft.au=BRIAND,%20Xavier&rft.genre=unknown |