Pages that link to "Item:Q2848456"
From MaRDI portal
The following pages link to Automatic verification of safety rules for a subway control software (Q2848456):
Displaying 1 item.
The following pages link to Automatic verification of safety rules for a subway control software (Q2848456):
Displaying 1 item.