Collaborated with:
R.Bloem S.Jacobs
Talks about:
distribut (1) synthesi (1) stabilis (1) byzantin (1) system (1) resili (1) self (1)
Person: Nicolas Braud-Santoni
DBLP: Braud-Santoni:Nicolas
Contributed to:
Wrote 1 papers:
- CAV-2016-BloemBJ #distributed #self #synthesis
- Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems (RB, NBS, SJ), pp. 157–176.