Keywords of "Some experiences on formal specification of railway interlocking systems using statecharts"
- Label
- Keywords of "Some experiences on formal specification of railway interlocking systems using statecharts" (literal)
- Parole chiave di "Some experiences on formal specification of railway interlocking systems using statecharts" (literal)
- Insieme di parole chiave di
- Ha membro
- D.2.2 Design Tools and Techniques (Parola chiave)
- J.7 Computers in Other Systems (Parola chiave)
- D.2.1 Requirements/Specifications (Parola chiave)
- D.2.8 Metrics (Parola chiave)
- Railway signalling (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Membro di
- Railway signalling (Parola chiave)
- D.2.2 Design Tools and Techniques (Parola chiave)
- D.2.1 Requirements/Specifications (Parola chiave)
- D.2.8 Metrics (Parola chiave)
- J.7 Computers in Other Systems (Parola chiave)
