Popular repositories Loading

1. Observability-and-Input-Strategy-of-Boolean-Control-Networks Observability-and-Input-Strategy-of-Boolean-Control-Networks Public

   A new Observability of Boolean Control Networks

   TeX 1

2. Hello-world Hello-world Public

   Just for test

3. Model-Checking-in-BCNs Model-Checking-in-BCNs Public

   Use MCMAS to determine four observalbilities of BCNs.

4. Online-Observability-of-Large-scale-BCNs-via-network-aggregations Online-Observability-of-Large-scale-BCNs-via-network-aggregations Public

   针对线上可观测性的性能所做的优化方案。我们将研究BCNs的分割以及分割后的重组。

5. -Exercises-of-the-Book-Concrete-semantics -Exercises-of-the-Book-Concrete-semantics Public

   The answer of the exercises in the book Concrete semantics.

   Isabelle