Parole chiave di "SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties"
- Label
- Parole chiave di "SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties" (literal)
- Keywords of "SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties" (literal)
- Insieme di parole chiave di
- Ha membro
- D.2.4 Software/Program Verification (Parola chiave)
- Formal Specification, Verification, Analysis (Parola chiave)
- D.3.1 Formal Definitions and Theory (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- Formal Specification, Verification, Analysis (Parola chiave)
- D.3.1 Formal Definitions and Theory (Parola chiave)
