Verificação formal no desenvolvimento de sistemas embarcados críticos
Sistemas embarcados estão amplamente presentes em muitas aplicações inovadoras de alta tecnologia e representam um dos mercados globais de mais rápido crescimento [1]. Tais sistemas se tornaram mais robustos e complexos e, agora, exigem processadores com vários núcleos de processamento…
4 de abril de 2018
3
2758