The Unified Policy Framework (UPF)

Achim Brucker 1 Brügger Lukas 2 Burkhart Wolff 3, 4
1 SAP AG [Germany]
2 ETH Zürich - Eidgenössische Technische Hochschule [Zürich]
3 IRT SystemX - IRT SystemX
4 LRI - Laboratoire de Recherche en Informatique
Type de document :
Autre publication
Archive of Formal Proofs (AFP), https://www.isa-afp.org/entries/UPF.shtml. 2014
Liste complète des métadonnées
https://hal.inria.fr/hal-01765542
Contributeur : Burkhart Wolff <>
Soumis le : jeudi 12 avril 2018 - 22:09:23
Dernière modification le : mercredi 2 mai 2018 - 11:07:19

Identifiants

  • HAL Id : hal-01765542, version 1

Collections

INRIA | UMR8623 | LRI-VALS | IRT-SYSTEMX

Citation

Achim Brucker, Brügger Lukas, Burkhart Wolff. The Unified Policy Framework (UPF). Archive of Formal Proofs (AFP), https://www.isa-afp.org/entries/UPF.shtml. 2014. 〈hal-01765542〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

97

Contact


archive-ouverte@inria.fr