Search academic texts

Information × Registration Number 0301U000646, 0100U000809 , R & D reports Title Software engineering methods for the systems controlling objects working in potentially dangerous conditions popup.stage_title Огляд інтервальних темпоральних логік (ІТЛ), логік опису небезпечних ситуацій та класів небезпеки.розширення ІТЛ описами класів небезпечності Head Lytvynov V.V., Registration Date 18-04-2001 Organization Institute of Mathematical Machines and System Problems NAS Ukraine. popup.description2 The purpose of the work is the development of prototypes of: specification language for description of algorithms of work of control systems with potential dangerous functioning modes,language of description of dangerous situations and dangers classes by terms of duration temporal logic and program of transformation into simulation model Product Description popup.authors popup.nrat_date 2020-04-02 Close