A Classification of Symbolic Transition Systems

doi 10.21236/ada603898
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Model-Based Testing From Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Learning and Transition of Symbols: Towards a Dynamical Model of a Symbolic Individual

2007English

Symbolic Models for Control Systems

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2007English

Symbolic Diagnosis of Partially Observable Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

On Solvability of Systems of Symbolic Polynomial Equations

Journal of Siberian Federal University - Mathematics and Physics
MathematicsAstronomyPhysics
2016English

Symbolic Representations and Analysis of Large Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

SOLߞA Symbolic Language for General-Purpose Systems Simulation

IEEE Transactions on Electronic Computers
1964English

Symbolic Dynamics and Renormalization of Non-Autonomouskperiodic Dynamical Systems

Journal of Difference Equations and Applications
Applied MathematicsNumber TheoryAnalysisAlgebra
2013English

Ordered K-Theoryand Minimal Symbolic Dynamical Systems

Colloquium Mathematicum
Mathematics
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy