نتایج جستجو برای: automatic systems
تعداد نتایج: 1295316 فیلتر نتایج به سال:
Journal:
:International Journal of Contents
2012
Journal:
:The South African Journal of Industrial Engineering
2011
Journal:
:Mathematics
2022
Model-based verification uses a model to reason about the correctness of real system. This requires and system be conformant, such that results on can transfered Especially for hybrid systems, which combine discrete continuous behavior, defining checking conformance is difficult task. In this work, we present reachset systems transfers safety properties from We show how adapted conformant measu...
Journal:
:Proceedings of the National Aviation University
2002
Journal:
:TRANSACTIONS OF THE JAPAN SOCIETY OF MECHANICAL ENGINEERS Series C
2010
Journal:
:Computers & Structures
1992
Journal:
:ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
2016
Journal:
:Notre Dame Journal of Formal Logic
1978
Journal:
:Proceedings of the American Institute of Electrical Engineers
1908
Journal:
:Journal of Soil Sciences and Agricultural Engineering
2020
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید