Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines
Cette page est seulement accessible aux usagers de Structurae qui se sont identifié. Pour créer un compte avec Mon Structurae vous pouvez vous inscrire ici gratuitement.