Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-4

RAM Simulation of BGS Model of Abstract-state Machines

Comandur Seshadhri, Anil Seth, Somenath Biswas

Fundamenta Informaticae

Retricted access

Research article

First published 2018-1

Validation of the finite state machine model for network simulation and a proposed testbed

Scott Brown, Harold Brown

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Retricted access

Research article

First published 2007-4

Model Checking Abstract State Machines with Answer Set Programming

Calvin Kai Fan Tang, Eugenia Ternovska

Fundamenta Informaticae

Retricted access

Research article

First published 2017-6

State recognition method for machining process of a large spot welder based on improved genetic algorithm and hidden Markov model

Bing Wang, Ping Yan, Qiang Zhou [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2020-02-06

An efficient approach to state space management in model checking of complex software systems using machine learning techniques

Mohammad Yasrebi, Vahid Rafe, Hamid parvin [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2025-8

Identifying Features of Electroencephalography Associated with Improved Awareness in Persistent Vegetative State via Multiscale Entropy: A Machine Learning Modeling Study

Keyun Lai, Xiao Chen, Liyun He [...]

Neurotrauma Reports

Retricted access

Research article

First published 2015-5

A new view of REA state machine

Frantisek Hunka, Jaroslav Zacek

Applied Ontology

Retricted access

Research article

First published 2024-4

Steady state prediction model and spectrum characteristics analysis of cutting force for CNC lathe considering variable machining parameters

Bao Zhang, Chunyu Zhao

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2026

State space modeling of variation propagation in multistage machining systems with generalized fixture layouts: A case study from an engine manufacturing enterprise

Fangrui Li, Shichang Du, Chen Zhao

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 2007-4

Time in State Machines

Susanne Graf, Andreas Prinz

Fundamenta Informaticae

Search results