UPPAAL: Uma ferramenta avançada para modelagem e verificação de sistemas em tempo real
1.     Introdução   UPPAAL é uma poderosa ferramenta desenvolvida em colaboração entre o...
Tags: programming, testing, automation, braziliandevs