Science of Computer Programming Special Issue: Automated Verification of Critical Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2014

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

Gerald Lüttgen
  • Fonction : Directeur de publication
University of Bamberg
Stephan Merz
Modeling and Verification of Distributed Algorithms and Systems

Domaines

Logique en informatique [cs.LO] Systèmes embarqués Génie logiciel [cs.SE]

Stephan Merz  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01084228

Soumis le : mardi 18 novembre 2014-17:33:31

Dernière modification le : lundi 2 décembre 2024-17:46:02

Fichier non déposé

Dates et versions

hal-01084228 , version 1 (18-11-2014)

Identifiants

  • HAL Id : hal-01084228 , version 1

Citer

Gerald Lüttgen, Stephan Merz (Dir.). Science of Computer Programming Special Issue: Automated Verification of Critical Systems. Elsevier, 96 (3), 2014, Science of Computer Programming, Jan Bergstra. ⟨hal-01084228⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
101 Consultations
0 Téléchargements

Partager

More