Editorial: Special Issue of Automated Verification of Critical Systems - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2014

Editorial: Special Issue of Automated Verification of Critical Systems

Gerald Lüttgen
  • Fonction : Auteur
Otto-Friedrich-Universität Bamberg
Stephan Merz
Modeling and Verification of Distributed Algorithms and Systems

Domaines

Logique en informatique [cs.LO]

Stephan Merz  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 18 novembre 2014-17:37:27

Dernière modification le : lundi 11 septembre 2023-17:41:18

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01084232 , version 1

Citer

Gerald Lüttgen, Stephan Merz. Editorial: Special Issue of Automated Verification of Critical Systems. Science of Computer Programming, 2014, Special Issue: Automated Verification of Critical Systems, 96 (3), pp.277-278. ⟨hal-01084232⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

Gmail Facebook X LinkedIn More