Results 231 to 240 of about 1,197,742 (268)
Some of the next articles are maybe not open access.
2011 Workshop-School on Theoretical Computer Science, 2011
Model checking is an effective way of comparing a system description against its formal specification and search systematically for errors. The method is gaining a lot of success by being integrated in the hardware design process, and in development of complicated protocols and software.
+4 more sources
Model checking is an effective way of comparing a system description against its formal specification and search systematically for errors. The method is gaining a lot of success by being integrated in the hardware design process, and in development of complicated protocols and software.
+4 more sources
Model checking and equivalence checking
2009Introduction Owing to the advances in semiconductor technology, a large and complex system that has a wide variety of functionalities has been integrated on a single chip. It is called system-on-a-chip (SoC) or system LSI , since all of the components in an electronics system are built on a single chip.
openaire +1 more source
Model checking multiagent systems
Journal of Logic and Computation, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Benerecetti +2 more
openaire +3 more sources
2000
The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm.
Giunchiglia, Fausto, P. Traverso
openaire +2 more sources
The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm.
Giunchiglia, Fausto, P. Traverso
openaire +2 more sources
1994
Fitting data by a certain generalized linear model means choosing appropriate forms for the predictor, the link function, and the exponential family or variance function. In the previous chapters Pearsons’s X 2, the deviance and, in the multinomial case, the power-divergence family were introduced as general goodness-of-fit statistics.
Ludwig Fahrmeir, Gerhard Tutz
openaire +1 more source
Fitting data by a certain generalized linear model means choosing appropriate forms for the predictor, the link function, and the exponential family or variance function. In the previous chapters Pearsons’s X 2, the deviance and, in the multinomial case, the power-divergence family were introduced as general goodness-of-fit statistics.
Ludwig Fahrmeir, Gerhard Tutz
openaire +1 more source