( en | de | ru )

 

Disambiguierung von "Garion, Christophe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists.

, , , , und . FMTea, Volume 11758 von Lecture Notes in Computer Science, Seite 23-36. Springer, (2019)

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.

Christophe Kunze

Christophe Huber

Christophe Bobda

Christophe Schwarz

Christophe Zerpka

 

Weitere Publikationen von Autoren mit dem selben Namen

Safety Verification of Neural Network Controlled Systems., , , und . CoRR, (2020)A Verified UAV Flight Plan Generator., , , , und . FormaliSE, Seite 130-140. IEEE, (2023)Constraint-based Verification of Formation Control., , , , und . CDC, Seite 7136-7141. IEEE, (2021)Ability in a Multi-agent Context: A Model in the Situation Calculus., , und . CLIMA, Volume 3900 von Lecture Notes in Computer Science, Seite 23-36. Springer, (2005)Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach., und . ISMIS, Volume 2366 von Lecture Notes in Computer Science, Seite 131-139. Springer, (2002)Strategies for Distributing Goals in a Team of Cooperative Agents., und . ESAW, Volume 3451 von Lecture Notes in Computer Science, Seite 178-190. Springer, (2004)Verification of machine learning based cyber-physical systems: a comparative study., , , , und . HSCC, Seite 22:1-22:16. ACM, (2022)How to Complete Regulations in Multi-agent Systems., , und . IAT, Seite 285-288. IEEE Computer Society, (2009)978-0-7695-3801-3.Verifying the Mathematical Library of an UAV Autopilot with Frama-C., , , , und . FMICS, Volume 12863 von Lecture Notes in Computer Science, Seite 167-173. Springer, (2021)Situation awareness and ability in coalitions., , , , und . FUSION, Seite 1-9. IEEE, (2007)