( en | de | ru )

 

Disambiguierung von "Héam, Pierre-Cyrille"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Model-Based Testing Approach for Security Protocols.

, , , , und . CSE/EUC/DCABES, Seite 553-556. IEEE Computer Society, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cyrille Chavet

Cyrille Debris

Cyrille Barbot

Cyrille Dejemeppe

Cyrille Jégourel

 

Weitere Publikationen von Autoren mit dem selben Namen

Clôtures transitives de semi-commutations et model-checking régulier., , und . Technique et Science Informatiques, 27 (1-2): 7-28 (2008)Composition of Services with Constraints., , , und . FACS@FMWeek, Volume 263 von Electronic Notes in Theoretical Computer Science, Seite 31-46. Elsevier, (2009)Shelf schedules for independent moldable tasks to minimize the energy consumption., , , und . SBAC-PAD, Seite 126-136. IEEE, (2021)Some complexity results for polynomial rational expressions.. Theor. Comput. Sci., 299 (1-3): 735-741 (2003)List and shelf schedules for independent parallel tasks to minimize the energy consumption with discrete or continuous speeds., , , und . J. Parallel Distributed Comput., (April 2023)A theoretical limit for safety verification techniques with regular fix-point computations., und . Inf. Process. Lett., 108 (1): 1-2 (2008)ELECTOR: Deterministic leader election algorithm for modular robots., , , , , und . SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, Seite 1551-1559. IEEE, (2022)A Comparison of Random Task Graph Generation Methods for Scheduling Problems., , und . Euro-Par, Volume 11725 von Lecture Notes in Computer Science, Seite 61-73. Springer, (2019)Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité. (Finite Automata for Software Realiability and Reachability Analyses).. (2009)Automata for Pro-V Topologies.. CIAA, Volume 2088 von Lecture Notes in Computer Science, Seite 135-144. Springer, (2000)