Buscar
Itens para a visualização no momento 1-1 of 1
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java
(Universidade Federal de Santa Maria, 2016-03-29)
At safety-critical, mission-critical and business-critical systems the high cost of failure
makes required the use of methods and techniques to ensure application reliability. In this
context, formal languages, as Circus ...