Skip to Main content Skip to Navigation
Journal articles

Introduction to special issue on verification and evaluation of computer systems

Kamel Barkaoui 1 Hanifa Boucheneb 2
1 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
2 VeriForm - Laboratoire VeriForm - Department of Computer Engineering
Document type :
Journal articles
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-02475802
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, February 12, 2020 - 11:57:29 AM
Last modification on : Tuesday, April 14, 2020 - 2:00:18 PM

Identifiers

Collections

TDS-MACS | CEDRIC-CNAM | CNAM | UNIV-HESAM

Citation

Kamel Barkaoui, Hanifa Boucheneb. Introduction to special issue on verification and evaluation of computer systems. Innovations in Systems and Software Engineering, Springer Verlag, 2018, 14 (2), pp.81-82. ⟨10.1007/s11334-018-0310-0⟩. ⟨hal-02475802⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

49