Publication | Closed Access

A note on observability of Boolean control networks

Circuit ComplexityEngineeringBoolean FunctionAutomated ReasoningVerificationFormal MethodsSystems EngineeringObservabilityComputer ScienceFormal VerificationBoolean Control Networks