Parole chiave di "Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version"

Label

• Parole chiave di "Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version" (literal)
• Keywords of "Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version" (literal)

Insieme di parole chiave di

• Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)

Ha membro

• Stochastic Model Checking (Parola chiave)
• Formal Modelling (Parola chiave)
• 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (Parola chiave)
• Interaction Techniques (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)

Incoming links:

Insieme di parole chiave

• Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)

Membro di

• D.2.4 Software/Program Verification (Parola chiave)
• Formal Modelling (Parola chiave)
• Interaction Techniques (Parola chiave)
• 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (Parola chiave)
• Stochastic Model Checking (Parola chiave)