Science of Computer Programming Special Issue: Automated Verification of Critical Systems

Gerald Lüttgen 1 Stephan Merz 2
1 University of Bamberg
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Netherlands. 96 (3), Elsevier, 2014, Science of Computer Programming
Liste complète des métadonnées
https://hal.inria.fr/hal-01084228
Contributeur : Stephan Merz <>
Soumis le : mardi 18 novembre 2014 - 17:33:31
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13

Identifiants

  • HAL Id : hal-01084228, version 1

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Gerald Lüttgen, Stephan Merz. Science of Computer Programming Special Issue: Automated Verification of Critical Systems. Netherlands. 96 (3), Elsevier, 2014, Science of Computer Programming. 〈hal-01084228〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

172

Contact


archive-ouverte@inria.fr