safety critical (plane, subway, nuclear power plant) Algorithmic Verification ... Example of application: safety verification of a 10 dimensional system ...
... bacteria in the surrounding and trigger the increase in luminescence. The gene that regulates the luminescence is called lux. See paper (R10) on the website. ...