|
|
|
|
|
Yati Phyo, Moe Nandi Aung, Canh Minh Do and Kazuhiro Ogata
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce the st...
ver más
|
|
|
|
|
|
|
|
|
Yuanfeng Lian, Yueyao Geng and Tian Tian
Due to the complexity of the oil and gas station system, the operational data, with various temporal dependencies and inter-metric dependencies, has the characteristics of diverse patterns, variable working conditions and imbalance, which brings great ch...
ver más
|
|
|
|
|
|
|
|
|
Filip Bojic, Anita Gudelj and Rino Bo?njak
Intensive shipping activity in port areas is considered one of the leading problems in the maritime sector, which has a negative effect on climate change and local air quality. The compilation of detailed inventories of combustion gases released by ships...
ver más
|
|
|
|
|
|
|
|
|
Clebson Pautz, Alexandre Rosa dos Santos, Jéferson Luiz Ferrari, Plinio Antonio Guerra Filho, Sustanis Horn Kunz, Henrique Machado Dias, Taís Rizzo Moreira, Rita de Cássia Freire Carvalho, Vinícius Duarte Nader Mardeni, Elaine Cordeiro dos Santos and Larissa Marin Scaramussa
Environmental vulnerability refers to the susceptibility of a region to damage when it is subjected to natural or anthropogenic actions. The assessment of environmental vulnerability in lakes is an important tool to assist managers in planning and interv...
ver más
|
|
|
|
|
|
|
|
|
Bernd Finkbeiner, Martin Fränzle, Florian Kohn and Paul Kröger
Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent signals originating from continuous-state or hybrid-state dynamical systems according to formal specifications. It has been conceived as a tool for systemat...
ver más
|
|
|
|