2 Artículos

A comparison between handwritten and automatic generation of C code from SDL using static analysis

Solicitud

usuarios registrados

Marcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci Pág. 1317 - 1347

Revista: SOFTWARE, PRACTICE & EXPERIENCE Formato: Impreso

Tabla de contenido: Vol: 35 Num: 14 Par: 0 Año: 2005

Special Section on Dependable Real-Time Systems - GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems

Solicitud

usuarios registrados

Powell, D; Arlat, J; Beus-Dukic, L; Bondavalli, A; Coppola, P; Fantechi, A; Pág. 580 - 599

Revista: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS Formato: Impreso

Tabla de contenido: Vol: 10 Num: 6 Par: 0 Año: 1999

« Anterior Página: 1 de 1 Siguiente »