Greek Έλεγχος μοντέλων Cited by user Gf uip on 19 Jul 2010 Στο πεδίο της λογικής της επιστήμης των υπολογιστών, ο όρος έλεγχος μοντέλων (Αγγλικά: model checking) αναφέρεται στο εξής πρόβλημα: Δεδομένου του μοντέλου ενός συστήματος…
Portuguese Verificação de modelos Cited by user Pcgomes on 02 Apr 2010 No campo da ciência da computação, verificação de modelos (do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que representa um…
Portuguese Verificação de Modelo Cited by user Marceloamaral.amaral on 06 Nov 2009 REDIRECIONAMENTO Verificação de modelos.