Amanote Research

Amanote Research

    RegisterSign In

Specification a Model for Study of Symbolic Processualism

Interconectando Saberes
doi 10.25009/is.v0i9.2652
Full Text
Open PDF
Abstract

Available in full text

Date

March 9, 2020

Authors
Cruz García Lirios
Publisher

Universidad Veracruzana


Related search

Specification of a Model for the Study of Management Culture

Espirales Revista Multidisciplinaria de investigación
2019English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Visual Specification Language for Model-To-Model Transformations

2010English

Testing Strategies for Model Specification

Applied Mathematics and Computation
Computational MathematicsApplied Mathematics
1986English

Study of Phase Circle Map Model and Its Symbolic Dynamics

2015English

Algebraic Specification of a Model Transformation Engine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Formal Model for Defect Detection Using Symbolic Program Execution

Proceedings of the Institute for System Programming of the RAS
2019English

Symbolic Model Checking for Simply-Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Specification Tests for the Multinomial Logit Model

Econometrica
EconomicsEconometrics
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy