Výsledky vyhledávání - "C. A. S. Cruz"

B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design

Autor: David Déharbe, Luís C. D. S. Cruz, Marcel Oliveira

Publikováno v: Formal Methods, Foundations and Applications ISBN: 9783642250316
SBMF

This paper presents a migration approach from a class of hierarchical B models to CSP. The B models follow a so-called polling pattern, suitable for reactive systems, and are automatically translated into a set of communicating CSP processes with the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::356882fd21190af8d00e7cfa4a6ec4f7
https://doi.org/10.1007/978-3-642-25032-3_4

Zobrazit plný text záznamu

Preparation and evaluation of an experimental luting glass ionomer cement to be used in dentistry

Autor: Gislaine Cristina Padovani, Maria Aparecida Zaghete, Rossano Gimenes, C. A. S. Cruz, Marcio José Bertolini

Publikováno v: Journal of materials science. Materials in medicine. 20(9)

The aim of this paper is to compare the fluoride-releasing and mechanical properties of an experimental luting glass ionomer cement, which has a modified composition and a commercial luting cement. The experimental powder was obtained by sol-gel proc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7230ae8a74a70653af28d7fbd9800619
https://pubmed.ncbi.nlm.nih.gov/19415231

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání