A Formal Verification and Approach for Real-Time Databases - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pedro Fernandes Ribeiro Neto, Maria Lígia Barbosa Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich. A Formal Verification and Approach for Real-Time Databases. In Terence A. Halpin, editor, Selected Readings on Database Technologies and Applications. pages 268-295, IGI, 2009. [doi]

This author has not been identified. Look up 'Pedro Fernandes Ribeiro Neto' in GoogleThis author has not been identified. Look up 'Maria Lígia Barbosa Perkusich' in GoogleThis author has not been identified. Look up 'Hyggo Oliveira de Almeida' in GoogleThis author has not been identified. Look up 'Angelo Perkusich' in Google

runs on WebDSL