A Classification of Symbolic Transition Systems

doi 10.21236/ada603898

Full Text

Abstract

Available in

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

Symbolic Models for Control Systems

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2007English

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

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

Ordered K-Theoryand Minimal Symbolic Dynamical Systems

Colloquium Mathematicum
Mathematics
2000English

Symbolic Model Checking for Simply-Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy