Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950976103> ?p ?o ?g. }
Showing items 1 to 32 of
32
with 100 items per page.
- W2950976103 abstract "Dans le cadre du developpement prouve et incremental de systemes informatiques, nous nous interessons a des systemes transactionnels presents dans les echanges bancaires comme Mondex. Nous etudions la combinaison de modeles Event B comme un modele du Mondex et un modele de protocoles cryptologiques afin d'obtenir un systeme plus robuste aux attaques. Puis, nous montrons sur quels principes est fondee cette combinaison et nous montrons dans quelles mesures elle peut simplifier la tâche de modelisation prouvee et incrementale." @default.
- W2950976103 created "2019-06-27" @default.
- W2950976103 creator A5018322893 @default.
- W2950976103 creator A5046926274 @default.
- W2950976103 date "2009-01-26" @default.
- W2950976103 modified "2023-09-25" @default.
- W2950976103 title "Développement combiné et prouvé de systèmes transactionnels cryptologiques" @default.
- W2950976103 cites W1523413446 @default.
- W2950976103 cites W1972153061 @default.
- W2950976103 cites W2146973388 @default.
- W2950976103 hasPublicationYear "2009" @default.
- W2950976103 type Work @default.
- W2950976103 sameAs 2950976103 @default.
- W2950976103 citedByCount "0" @default.
- W2950976103 crossrefType "journal-article" @default.
- W2950976103 hasAuthorship W2950976103A5018322893 @default.
- W2950976103 hasAuthorship W2950976103A5046926274 @default.
- W2950976103 hasConcept C121332964 @default.
- W2950976103 hasConcept C138885662 @default.
- W2950976103 hasConcept C15708023 @default.
- W2950976103 hasConcept C17744445 @default.
- W2950976103 hasConceptScore W2950976103C121332964 @default.
- W2950976103 hasConceptScore W2950976103C138885662 @default.
- W2950976103 hasConceptScore W2950976103C15708023 @default.
- W2950976103 hasConceptScore W2950976103C17744445 @default.
- W2950976103 hasLocation W29509761031 @default.
- W2950976103 hasOpenAccess W2950976103 @default.
- W2950976103 hasPrimaryLocation W29509761031 @default.
- W2950976103 isParatext "false" @default.
- W2950976103 isRetracted "false" @default.
- W2950976103 magId "2950976103" @default.
- W2950976103 workType "article" @default.