Now showing items 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 ...