Using Models to Model-Check Recursive Schemes

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-11(2:7)2015
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Using SPIN to Check Simulink Stateflow Models

International Journal of Networked and Distributed Computing
Computer NetworksComputer Science ApplicationsCommunications
2016English

Recursive Prototype Reduction Schemes Applicable for Large Data Sets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Comparative Analysis of Overland Flow Models Using Finite Volume Schemes

Journal of Hydroinformatics
Geotechnical EngineeringCivilEngineering GeologyAtmospheric ScienceStructural EngineeringWater ScienceTechnology
2011English

Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Store, Forget, and Check: Using Algebraic Signatures to Check Remotely Administered Storage

English

Learning Directed Relational Models With Recursive Dependencies

Machine Learning
Artificial IntelligenceSoftware
2012English

Using Check Sample Results

Cereal Foods World
Food Science
2008English

Recursive Image Sequence Segmentation by Hierarchical Models

English

Recursive Compositional Models: Representation, Learning, and Inference

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy