Publication | Closed Access

Developing a window behaviour model incorporating A/C operation states

Process CalculusEngineeringProgram AnalysisFormal MethodsProcess ControlSystems EngineeringWindow Behaviour ModelModeling And SimulationComputer ScienceDiscrete-event SimulationSystem SoftwareComputer Modeling