Keywords of "The Metrô Rio ATP case study"
- Label
- Keywords of "The Metrô Rio ATP case study" (literal)
- Parole chiave di "The Metrô Rio ATP case study" (literal)
- Insieme di parole chiave di
- The Metrô Rio ATP case study (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- Formal Methods (Parola chiave)
- Industrial Case Study (Parola chiave)
- D.2 SOFTWARE ENGINEERING (Parola chiave)
- Automatic Train Protection (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
Incoming links:
- Insieme di parole chiave
- The Metrô Rio ATP case study (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- D.2 SOFTWARE ENGINEERING (Parola chiave)
- Formal Methods (Parola chiave)
- Automatic Train Protection (Parola chiave)
- Industrial Case Study (Parola chiave)
