Parole chiave di "Composing event constraints in state-based specification"
- Label
- Parole chiave di "Composing event constraints in state-based specification" (literal)
- Keywords of "Composing event constraints in state-based specification" (literal)
- Insieme di parole chiave di
- Composing event constraints in state-based specification (Articolo in rivista) (Prodotto della ricerca)
- Ha membro
- process algebra (Parola chiave)
- Formal Specification (Parola chiave)
- Event-based specification (Parola chiave)
- State-based specification (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Composing event constraints in state-based specification (Articolo in rivista) (Prodotto della ricerca)
- Membro di
- process algebra (Parola chiave)
- Event-based specification (Parola chiave)
- State-based specification (Parola chiave)
- Formal Specification (Parola chiave)
