Michel R. V. Chaudron

Available identifiers

zbMath Open chaudron.michelDBLPc/MRVChaudronWikidataQ57506060 ScholiaQ57506060MaRDI QIDQ859975

List of research outcomes

Publication	Date of Publication	Type
Providing data confidentiality against malicious hosts in shared data spaces	2010-04-29	Paper
An experimental evaluation of self-managing availability in shared data spaces	2007-01-22	Paper
Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods	2002-04-11	Paper
The formal derivation of parallel triangular system solvers using a coordination-based design method	1999-01-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michel R. V. Chaudron