méthodes de vérification et de validation pour descriptions formelles (action COST 247) (Francosko)

Področje:


Nemško: Prüfungs- und Bestätigungsmethoden für formale Beschreibungen (COST-Aktion 247)
Angleško: verification and validation methods for formal descriptions (COST action 247)



Vir: IATE - European Union, 2016

Komentiraj slovarski sestavek