Travelled to:1 × USA
Collaborated with:L.Boi J.Cazin P.Cros R.Jacquart M.Lemoine
Talks about:construct (1) principl (1) program (1) develop (1) system (1) formal (1) design (1) toler (1) fault (1) reus (1)
Person: P. Michel
DBLP: Michel:P=
Contributed to:
1978
1991Wrote 2 papers:
- ICSE-1978-BoiM #design #fault tolerance
- Design and Principles of a Fault Tolerant System (LB, PM), pp. 207–214.
- CCPSD-1991-CazinCJLM #reuse #using
- Construction and Reuse of Formal Program Developments (JC, PC, RJ, ML, PM), pp. 120–136.