Wörterbücher
Forum
Kontakte

   Englisch Russisch +
Google | Forvo | +

subclass of formal verification called model checking

Betonungen
Progr. подвид формальной верификации, называемый верификация модели (ssn)