heise online Ticker
232 subscribers
72.7K links
News rund um IT und darüber hinaus

Powered by @DerNewsChannel
Download Telegram
AdaCore schnappt sich Dresdner Cybersecurity-Experten
#AdaCore #Componolist #Cybersecurity #Sicherheit #Softwareentwicklung #Verifikation

AdaCore kauft Componolit․ Die 2017 gegründete IT-Sicherheits-Firma ist auf die Anwendung formaler Methoden zum Testen von Software spezialisiert․