ARTÍCULO
TITULO

Consistency Verification in Modeling of Real-Time Systems

Deng    
Y. Wang    
J. Zhou    
M.    

Resumen

No disponible

 Artículos similares

       
 
Giuseppe Cantisani and Giulia Del Serrone    
The aim of this research is to look for an automated, economical and fast method able to identify the elements of an existing road layout, whose original geometric design could date back to distant ages and could have undergone major modifications over t... ver más
Revista: Infrastructures

 
Suqin Xiong, Jiahai Zhang, Baoliang Zhang, Guodong Sun, Zhen Chen, Jia Qi and Yongquan Sun    
The smart electricity meter (SEM) is an important part of smart power grid, and the accuracy of SEMs is the basis for power grid operation control and trade settlement between power supply and electricity consumption, but the evolution behaviors of meter... ver más
Revista: Applied Sciences

 
Yixin Huang, Xiaojia Xiang, Han Zhou, Dengqing Tang and Yihao Sun    
In order to solve the problem of how to efficiently control a large-scale swarm Unmanned Aerial Vehicle (UAV) system, which performs complex tasks with limited manpower in a non-ideal environment, this paper proposes a parallel UAV swarm control method. ... ver más
Revista: Aerospace

 
Chuangtao Ma, Bálint Molnár and András Benczúr    
To tackle the issues of semantic collision and inconsistencies between ontologies and the original data model while learning ontology from relational database (RDB), a semi-automatic semantic consistency checking method based on graph intermediate repres... ver más
Revista: Information

 
Bo-Lin Jian, Wen-Lin Chu, Yu-Chung Li and Her-Terng Yau    
This study proposed the concept of sparse and low-rank matrix decomposition to address the need for aviator?s night vision goggles (NVG) automated inspection processes when inspecting equipment availability. First, the automation requirements include mac... ver más
Revista: Applied Sciences