Special Issue on Verification and Evaluation of Computer and Communication Systems - Part II, 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-01270061
Contributor : Lip6 Publications <>
Submitted on : Friday, February 5, 2016 - 3:53:07 PM
Last modification on : Thursday, March 21, 2019 - 2:32:18 PM

Identifiers

  • HAL Id : hal-01270061, version 1

Citation

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

Share

Metrics

Record views

62