cour_48f8d3ea-93bb-4fdc-818b-34f435d79fc8

•  
• Visão geral
•  
• Publicações
•  
• Ver todos
•  

Visão geral

oferecido por

• École Centrale de Lille 

Publicações

publicações

• Analysis and formal specification of relay-based railway interlocking systems  Documento