Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2008

Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems

Serge Autexier
  • Fonction : Directeur scientifique
DFKI Bremen
Heiko Mantel
  • Fonction : Directeur scientifique
Technische Universität Darmstadt - Technical University of Darmstadt
Stephan Merz
Proof-oriented development of computer-based systems
Tobias Nipkow
  • Fonction : Directeur scientifique
Institut für Informatik

Domaines

Logique en informatique [cs.LO]

Stephan Merz  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 11 mars 2009-15:11:20

Dernière modification le : lundi 13 novembre 2023-10:56:04

Fichier non déposé

Dates et versions

inria-00367512 , version 1 (11-03-2009)

Identifiants

  • HAL Id : inria-00367512 , version 1

Citer

Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow (Dir.). Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems. Tobias Nipkow. Springer, 41, pp.209, 2008, Journal of Automated Reasoning. ⟨inria-00367512⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

Gmail Facebook X LinkedIn More