Metadata
Author: tmClass
Data
Bulgarian[bg]
Автоматизирани решения за удостоверяване на базата на модел на техники за проверка
Czech[cs]
Automatická ověřovací řešení na bázi technik kontroly modelů
Danish[da]
Automatiske verificeringsløsninger baseret på modelkontrolteknikker
German[de]
Auf Modell-Kontrolltechniken basierende automatisierte Verifizierungslösungen
Greek[el]
Λύσεις αυτοματοποιημένης επαλήθευσης βάσει τεχνικών ελέγχου μοντέλου
English[en]
Automated verification solutions based on model checking techniques
Spanish[es]
Soluciones de verificación automatizadas basadas en técnicas de comprobación de modelos
Estonian[et]
Automatiseeritud verifitseerimislahendused, mis põhinevad mudelkontrollitehnikal
Finnish[fi]
Automaattiset tarkistusratkaisut, jotka pohjautuvat mallien tarkistustekniikoihin
French[fr]
Solutions de vérification automatisée basées sur les techniques de vérification formelle
Croatian[hr]
Automatizirana rješenja za verifikaciju na bazi tehnika za provjeru modela
Hungarian[hu]
Modellellenőrző eljárásokon alapuló automatikus ellenőrző megoldások
Italian[it]
Soluzioni di verifica automatica basati su tecniche di controllo modelli
Lithuanian[lt]
Automatiniai tikrinimo sprendimai, paremti modelių tikrinimo technika
Latvian[lv]
Automatizēti pārbaudes risinājumi, kas balstīti uz modeļu pārbaudes metodēm
Maltese[mt]
Soluzzjonijiet ta' verifika awtomatizzata bbażati fuq tekniki għall-iċċekkjar ta' mudell
Dutch[nl]
Automatische verificatieoplossingen op basis van technieken voor het controleren van modellen
Polish[pl]
Zautomatyzowane rozwiązania weryfikacyjne oparte na technikach testowania modelu
Portuguese[pt]
Soluções de verificação automática baseadas em técnicas de verificação de modelos
Romanian[ro]
Solutii de verificare automatizata pe baza de tehnici de verificare de modele
Slovak[sk]
Automatické overovacie riešenia založené na modelových kontrolných postupoch
Slovenian[sl]
Rešitve avtomatskega preverjanja na osnovi modela tehnik kontrole
Swedish[sv]
Automatiserad verifieringslösning baserd på tekniska kontrollmodeller