foutenopsporing in en specificatie van real-time ingebedde systemen in Ada (Nizozemsko)
Področje: Information technology and data processing
Dansko: DESCARTES, fejlfinding og specifikation af tidstro indbyggede Ada-systemer Nemško: DESCARTES, Fehlerbeseitigung und Spezifikation von in ADA-Echtzeit eingebetteten Systemen Grško: διόρθωση λαθών και καθορισμός προδιαγραφών σε ένθετα συστήματα πραγματικού χρόνου σε ADA Angleško: DESCARTES, Debugging and specification of Ada real time embedded systems Špansko: DESCARTES, depuración y especificación de sistemas en tiempo real incorporados para Ada Finsko: sulautettujen tosiaikaisten Ada-järjestelmien virheenpoisto ja määrittely(DESCARTES) Francosko: DESCARTES, Mise au point et spécification de systèmes ADA intégrés et temps réel Italijansko: DESCARTES, messa a punto e specifica di sistemi ADA integrati ed in tempo reale Nizozemsko: DESCARTES, Portugalsko: DESCARTES, depuração e especificação de sistemas Ada integrados e em tempo real Švedsko: DESCARTES
Dostopnost