Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
Formally Verified Differential Dynamic Logic
Bohrer, Brandon; RAHLI, Vincent; VUKOTIC, Ivana et al.
2017 • In CPP 2017
Peer reviewed
Permalien
https://hdl.handle.net/10993/29216
DOI
10.1145/3018610.3018616
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
verified-dL-CPP-preprint-2016-11-29.pdf
Preprint Auteur (364.7 kB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Disciplines :
Sciences informatiques
Auteur, co-auteur :
Bohrer, Brandon;  Carnegie Mellon University > Computer Science
RAHLI, Vincent ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
VUKOTIC, Ivana ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
VOLP, Marcus  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Platzer, Andre;  Carnegie Mellon Univerity > Computer Science
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Formally Verified Differential Dynamic Logic
Date de publication/diffusion :
2017
Nom de la manifestation :
ACM Sigplan Conference on Certified Programs and Proofs (CPP 2017)
Date de la manifestation :
from 16-01-2017 to 17-01-2017
Titre de l'ouvrage principal :
CPP 2017
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Projet FnR :
FNR8149128 - Strategic Rtnd Program On Information Infrastructure Security And Dependability, 2014 (01/01/2015-31/12/2021) - Marcus Völp
Disponible sur ORBilu :
depuis le 02 janvier 2017

Statistiques

Nombre de vues
302 (dont 61 Unilu)
Nombre de téléchargements
769 (dont 47 Unilu)
Voir plus de statistiques
citations Scopus®
 
51
citations Scopus®
sans auto-citations
29
OpenCitations
 
32
citations OpenAlex
 
59
citations WoS™
 
41

Bibliographie

Publications similaires


Contacter ORBilu