Results 311 to 320 of about 23,407,383 (367)
Some of the next articles are maybe not open access.

Model Checking Real-Time Systems

Handbook of Model Checking, 2018
Patricia Bouyer   +5 more
semanticscholar   +1 more source

Symbolic Model Checking

Encyclopedia of Algorithms, 2016
Adnan Aziz, A. Prakash
semanticscholar   +1 more source

Selecting and checking models

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

Handbook of Model Checking

Cambridge International Law Journal, 2018
E. Clarke   +3 more
semanticscholar   +1 more source

A Survey of Statistical Model Checking

ACM Transactions on Modeling and Computer Simulation, 2018
G. Agha, Karl Palmskog
semanticscholar   +1 more source

Antibody–drug conjugates: Smart chemotherapy delivery across tumor histologies

Ca-A Cancer Journal for Clinicians, 2022
Paolo Tarantino   +2 more
exaly  

The mu-calculus and Model Checking

Handbook of Model Checking, 2018
Julian Bradfield, I. Walukiewicz
semanticscholar   +1 more source

Model Checking Probabilistic Systems

Handbook of Model Checking, 2018
C. Baier   +3 more
semanticscholar   +1 more source

An overview of real‐world data sources for oncology and considerations for research

Ca-A Cancer Journal for Clinicians, 2022
Lynne Penberthy   +2 more
exaly  

Introduction to Model Checking

Handbook of Model Checking, 2018
E. Clarke, T. Henzinger, H. Veith
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy