Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, in International Journal on Critical Computer-Based Systems

Kamel Barkaoui Bruno Monsuez Denis Poitrenaud 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01287968
Contributor : Lip6 Publications <>
Submitted on : Monday, March 14, 2016 - 2:06:52 PM
Last modification on : Thursday, March 21, 2019 - 2:41:02 PM

Identifiers

  • HAL Id : hal-01287968, version 1

Citation

Kamel Barkaoui, Bruno Monsuez, Denis Poitrenaud. Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, in International Journal on Critical Computer-Based Systems. 2 (3 and 4), Inderscience Enterprises Ltd, 2011. ⟨hal-01287968⟩

Share

Metrics

Record views

57