Matches in SemOpenAlex for { <https://semopenalex.org/work/W635029598> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- W635029598 abstract "Nous presentons dans cette these la verification temporelle de programmes ecrits en langage reactif asynchrone electre, basee sur la modelisation de programmes electre par des automates hybrides, et sur l'expression en logique temporelle des proprietes a verifier. Nous montrons que les automates hybrides obtenus a partir de programmes electre possedent la qualite d'etre fortement non-zenon ; que les proprietes temporelles portant sur un delai borne dans le futur, sont decidables sur les automates hybrides fortement-non-zenon ; et qu'il est egalement decidable de verifier la qualite fortement-non-zenon pour un automate hybride quelconque. Enfin, nous presentons un logiciel de verification temporelle de programmes electre, base sur des algorithmes existants, et sur les resultats de decidabilite obtenus" @default.
- W635029598 created "2016-06-24" @default.
- W635029598 creator A5066780988 @default.
- W635029598 date "1996-01-01" @default.
- W635029598 modified "2023-09-24" @default.
- W635029598 title "Vérification temporelle de programmes électre" @default.
- W635029598 hasPublicationYear "1996" @default.
- W635029598 type Work @default.
- W635029598 sameAs 635029598 @default.
- W635029598 citedByCount "0" @default.
- W635029598 crossrefType "dissertation" @default.
- W635029598 hasAuthorship W635029598A5066780988 @default.
- W635029598 hasConcept C11105738 @default.
- W635029598 hasConcept C138885662 @default.
- W635029598 hasConcept C15708023 @default.
- W635029598 hasConcept C33923547 @default.
- W635029598 hasConcept C41008148 @default.
- W635029598 hasConcept C42475967 @default.
- W635029598 hasConcept C47431972 @default.
- W635029598 hasConceptScore W635029598C11105738 @default.
- W635029598 hasConceptScore W635029598C138885662 @default.
- W635029598 hasConceptScore W635029598C15708023 @default.
- W635029598 hasConceptScore W635029598C33923547 @default.
- W635029598 hasConceptScore W635029598C41008148 @default.
- W635029598 hasConceptScore W635029598C42475967 @default.
- W635029598 hasConceptScore W635029598C47431972 @default.
- W635029598 hasLocation W6350295981 @default.
- W635029598 hasOpenAccess W635029598 @default.
- W635029598 hasPrimaryLocation W6350295981 @default.
- W635029598 isParatext "false" @default.
- W635029598 isRetracted "false" @default.
- W635029598 magId "635029598" @default.
- W635029598 workType "dissertation" @default.