Code Generation
- Label
- Code Generation (literal)
- Membro di
- Parole chiave di "Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer" (Insieme di parole chiave)
- Keywords of "Experimenting with diversity in the formal development of railway signalling systems" (Insieme di parole chiave)
- Value
- Code Generation (literal)
Incoming links:
- Ha membro
- Parole chiave di "Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer" (Insieme di parole chiave)
- Keywords of "Experimenting with diversity in the formal development of railway signalling systems" (Insieme di parole chiave)
