Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Systèmes concurrents et distribués"'
Autor:
Mahe, Erwan
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPAST062⟩
Interactions represent asynchronous communications in a distributed context and can be represented graphically in an intuitive manner while allowing the specification of precise scheduling policies for ordering events. In this thesis, we formalize su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ba7e45a7b0ecff26c576c0377787e46
https://tel.archives-ouvertes.fr/tel-03369906/file/2021UPAST062_MAHE_archivage.pdf
https://tel.archives-ouvertes.fr/tel-03369906/file/2021UPAST062_MAHE_archivage.pdf
Autor:
Vanzetto, Hernán
Cette thèse présente des techniques efficaces pour déléguer des obligations de preuves TLA+ dans des démonstrateurs automatiques basées sur la logique du premier ordre non-sortée et multi-sortée. TLA+ est un langage formel pour la spécificat
Externí odkaz:
http://www.theses.fr/2014LORR0208/document
Autor:
Vanzetto, Hernán
Publikováno v:
Computer Science [cs]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0208⟩
This thesis presents effective techniques for discharging TLA+ proofobligations to automated theorem provers based on unsorted and many-sortedfirst-order logic. TLA+ is a formal language for specifying and verifyingconcurrent and distributed systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::16b796c3c4e93aa08a1a92c1bdf1b5f0
https://hal.inria.fr/tel-01751181
https://hal.inria.fr/tel-01751181
Autor:
Claude Aubry
Cet ouvrage s'adresse à tous ceux qui souhaitent s'initier à Scrum, et à ceux qui ont déjà une expérience « agile » et souhaitent approfondir leurs connaissances.Les rôles emblématiques de ScrumMaster et de Product Owner sont expliqués en