search

openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

D4.2.2 Section 4.2 #248

Closed vprevosto closed 9 years ago

vprevosto commented 9 years ago

The introduction mainly speaks about C code analysis, and the results only show C code. How is Class Inheritance Tree, namespaces and STL, which are C++ concepts, relevant in this context?

152