Parole chiave di "Integrating Performance Analysis in the Context of LOTOS-Based Design"
- Label
- Parole chiave di "Integrating Performance Analysis in the Context of LOTOS-Based Design" (literal)
- Keywords of "Integrating Performance Analysis in the Context of LOTOS-Based Design" (literal)
- Insieme di parole chiave di
- Integrating Performance Analysis in the Context of LOTOS-Based Design (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- protocols (Parola chiave)
- specification languages (Parola chiave)
- formal verification (Parola chiave)
- performance evaluation (Parola chiave)
- formal specification (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Integrating Performance Analysis in the Context of LOTOS-Based Design (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- performance evaluation (Parola chiave)
- formal verification (Parola chiave)
- protocols (Parola chiave)
- formal specification (Parola chiave)
- specification languages (Parola chiave)
