Travelled to:1 × USA
Collaborated with:P.Azéma B.Berthomieu
Talks about:procedur (1) communic (1) approach (1) design (1) bottom (1) verif (1) up (1)
Person: Jean-Michel Ayache
DBLP: Ayache:Jean=Michel
Contributed to:
1978Wrote 1 papers:
- ICSE-1978-AzemaAB #approach #bottom-up #communication #design #verification
- Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.