[PDF] Top 20 An Efficient Explicit-time Description Method for Timed Model Checking
Has 10000 "An Efficient Explicit-time Description Method for Timed Model Checking" found on our website. Below are the top 20 most common "An Efficient Explicit-time Description Method for Timed Model Checking".
An Efficient Explicit-time Description Method for Timed Model Checking
... Timed model checking, the method to formally verify real-time systems, is attracting increasing atten- tion from both the model checking community and the real-time ... See full document
15
Verifying Real-Time Systems using Explicit-time Description Methods
... Timed model checking has been extensively researched in recent ...with time extensions and tools based on them have been ...hand, Explicit-Time Description Methods aim to ... See full document
12
Liao’s method for a few space and time fractional reaction-diffusion equations arising in Engineering
... to efficient model problems in research areas as diverse as machanical systems, dynamical systems, control, chaos,continuous time random walks, anomalous diffusive and subdiffusive systems, wave ... See full document
15
A FEM punch-through IGBT model using an efficient parameter extraction method
... accurate description of dynamic behavior of these ...with an interesting trade-off between accuracy and computation ...reference model [1], the ADE Fourier based solution [2, 3] have shown ... See full document
6
An Improved Motion Detection Method for Real-Time Surveillance
... This method is highly adaptive to dynamic environments, but generally does a poor job of extracting the complete shapes of certain types of moving ...this method is to use a model of the background ... See full document
10
Application of Trujillo Algorithm for Analyzing of Structures
... indirect method and has been used in this ...the method of analysis should, therefore, cater for the change in geometry caused by any form of applied ... See full document
7
Temporal variability of soil CO2 emission after conventional and reduced tillage described by an exponential decay in time model
... function model based on soil temperature and soil moisture including an exponential decay in time component that is efficient in fitting intermediate-term emission after disk plow followed by ... See full document
8
Comput. Appl. Math. vol.23 número23
... macroscopic model for columnar dendritic solidification of binary mixtures using the volume averaging method with ...the model are first related to the explicit description of evolving ... See full document
20
J. Braz. Chem. Soc. vol.23 número12
... Honey samples (lime and multifloral from SC Euro Apicola SRL, south-east part of Romania, multi-floral Kaufland from Poland, and multi-floral from two beekeeper farmers from western part of Romania) and wines (brand ... See full document
7
Lat. Am. j. solids struct. vol.12 número2
... derivative model containing four or five parameters, Pritz (1996) has determined the characteristics of dynamic module and material loss factor of VEMs in the fre" quency ...on an inverse problem to ... See full document
26
A variable streamflow velocity method for global river routing model: model description and preliminary results
... merical experiments, one with the TRIP 1.0 and another with TRIP 2.0 are performed. Input runoff is taken from the multi-model product provided by the second Global Soil Wetness Project. For the rivers which have ... See full document
26
Model Checking in Bits and Pieces
... ranking. An inductively invariant set is closed under program transitions and includes all reachable program ...standard model checking strategy – without abstraction – is to compute the set of ... See full document
13
Time-like and space-like pion form factors within front-form dynamics
... relation is also adopted for the vector mesons (VM). For the pion and the VM wave functions we use the eigenfunctions of the square mass operator proposed in Refs. [4, 5] within a relativistic constituent quark ... See full document
4
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
... sistemas. Model Checking (Verificação de Modelos) é uma técnica formal que permite a verificação de sistemas concorrentes de estados finitos através de exaustiva exploração do conjunto de estados que ... See full document
123
Uma metodologia para verificação de modelos de sistemas de comércio eletrônico (A model checking methodology for e-commerce systems)
... In this work we propose a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify t[r] ... See full document
143
HyLTL: a temporal logic for model checking hybrid systems
... to model and specify hybrid systems in a formal way, the no- tion of hybrid automata has been introduced [1, 9, ...the model checking problem, that is, the problem of verifying whether a given hybrid ... See full document
12
Semi-solid processing method for cast iron
... is an indispensable condition, too, and therefore the SCP plates are made of copper and usually are provided with a water cooling ...been an important technological problem: it should be a good heat ... See full document
6
CONTACT MESH APPROACH IN EXPLICIT FINITE ELEMENT METHOD: AN APPLICATION TO A SEVERE CONTACT PROBLEM
... contact method most used in FEM commercial programs is the Penalty Method, in which is used a force to avoid the penetration of ...This method achieves good results for macro sized problems, like ... See full document
137
A Graphical Tool for Testing Timed Systems based on Meta-Modeling and Graph Grammars
... In this paper, we interest in formal testing using graph transformation, thus we propose an approach for translating a Durational Actions Timed Automata model (DA[r] ... See full document
10
Dental Press J. Orthod. vol.17 número4
... toys from pediatric dentistry offices with soap and water and obtained full decontamination of toys. The results of this study showed that there was no decontamination of pliers post-disinfection treat- ment with 70% ... See full document
6
temas relacionados