Specification languages
- Label
- Specification languages (literal)
- Membro di
- Parole chiave di "Rapid Prototyping of Protocols from LOTOS Specifications" (Insieme di parole chiave)
- Keywords of "Duality of task- and discourse-based interaction design for GUI generation" (Insieme di parole chiave)
- Keywords of "Synthesis of Local Controller Programs for Enforcing Global Security Properties" (Insieme di parole chiave)
- Value
- Specification languages (literal)
Incoming links:
- Ha membro
- Keywords of "Synthesis of Local Controller Programs for Enforcing Global Security Properties" (Insieme di parole chiave)
- Parole chiave di "Rapid Prototyping of Protocols from LOTOS Specifications" (Insieme di parole chiave)
- Keywords of "Duality of task- and discourse-based interaction design for GUI generation" (Insieme di parole chiave)
