Synonyms were used for:
Software
Search without synonyms:
keywords:(Software)
Application of formal methods to signalling systems using techniques based on stepwise refinement
Application of verification methods to specifications of signalling equipment
Application on formal methods to the railway signalling system