Synthesis of distributed systems with formal guarantees of correctness.

Top 5% contributor

**17**Contributions

152 downloads

4 months ago

Sphinx filter for Matlab documentation

359 clicks

1 year ago

109 downloads

4 months ago

46 downloads

4 years ago

40 downloads

4 years ago

20 downloads

3 years ago

Hold axes temporarily, optionally respecting the previous hold state.

17 downloads

3 years ago

There is also a Sphinx binding for MATLAB:

*4669* views

Responded 2 years ago

10 downloads

3 years ago

10 downloads

4 years ago

7 downloads

4 years ago

Vectorized version of hold function.

3 downloads

3 years ago