Tests and Proofs

Jasmin Christian Blanchette; Nikolai Kosmatov

doi:10.1007/978-3-319-21215-9

Home
Submit
Browse
Search
Folder
- Link
- Link
- Link
- Link
- Browse HAL known laboratories

Tests and Proofs: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings

Jasmin Christian Blanchette ^{1, 2} Nikolai Kosmatov ³

1 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems

LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik

3 DILS - Département Ingénierie Logiciels et Systèmes

Jasmin Christian Blanchette ^{1, 2} AuthorId : 1229339
Author

Nikolai Kosmatov ³ AuthorId : 11216815
Author

1 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France) StructId : 206040

Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France) StructId : 413289
CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569

2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (France) StructId : 107895

LORIA - FM - Department of Formal Methods (France) StructId : 423084
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France) StructId : 206040
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France) StructId : 413289
  - CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569
Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France) StructId : 129671
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
MPII - Max-Planck-Institut für Informatik (Campus E-1 4, 66123 Saarbrücken, Germany - Germany) StructId : 54489
- Max-Planck-Gesellschaft (Jägerstrasse, 10-11, D-10117 Berlin - Germany) StructId : 5247

3 DILS - Département Ingénierie Logiciels et Systèmes (France) StructId : 528160

LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (DRT/LIST Nano-INNOV Avenue de la Vauve 91120 Palaiseau - France) StructId : 40217
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France) StructId : 440043
  - CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France) StructId : 300016
- Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - France) StructId : 419361

Document type :

Directions of work or proceedings

Domain :

Computer Science [cs]

Liste complète des métadonnées

https://hal-cea.archives-ouvertes.fr/cea-01834980
Contributor : Léna Le Roy <>
Submitted on : Wednesday, July 11, 2018 - 10:02:24 AM
Last modification on : Tuesday, February 19, 2019 - 3:40:04 PM

Identifiers

HAL Id : cea-01834980, version 1
DOI : 10.1007/978-3-319-21215-9

Collections

Citation

Jasmin Christian Blanchette, Nikolai Kosmatov. Tests and Proofs: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings. Jasmin Christian Blanchette; Nikolai Kosmatov. Tests and Proofs, Jul 2015, L’Aquila, Italy. 9154, Springer Verlag, 2015, 9783319212142. 〈10.1007/978-3-319-21215-9〉. 〈cea-01834980〉

Tests and Proofs: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings

Identifiers

Collections

Citation

Export

Metrics

43

Contact

Tests and Proofs: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings

Identifiers

Collections

Citation

Export

Share

Metrics

43

Contact