Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021

Minimal Size of Counters for (Real-Time) Multicounter Automata

Viliam Geffert, Zuzana Bednárová

Fundamenta Informaticae

Retricted access

Research article

First published 1986

Modular Real-Time Trellis Automata

Anton Černý, Jozef Gruska

Fundamenta Informaticae

Retricted access

Research article

First published 2001-9

Timed Automata with non-Instantaneous Actions

Roberto Barbuti, Nicoletta De Francesco, Luca Tesei

Fundamenta Informaticae

Retricted access

Research article

First published 2013-1

Learning probabilistic real-time automata from multi-attribute event logs

Jana Schmidt, Asghar Ghorbani, Andreas Hapfelmeier [...]

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2002-9

A Design of Real-Time Non-Regular Sequence Generation Algorithms and Their Implementations on Cellular Automata with 1-Bit Inter-Cell Communications

Hiroshi Umeo, Naoki Kamikawa

Fundamenta Informaticae

Retricted access

Research article

First published 2014-1

Blending Timed Formal Models with Clock Transition Systems

Claude Jard, Didier Lime, Olivier H. Roux

Fundamenta Informaticae

Open access

Research article

First published 2016-5

Study on formal modeling and verification of safety computer platform

Xi Wang, Lianchuan Ma, Tao Tang

Advances in Mechanical Engineering

Free access

Research article

First published 1997-3

Real-time automatic statistical control for the grinding process

J P T Mo, M R Squires, G C Brien

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

Retricted access

Research article

First published 1998-8

Toward Automatic Synthesis of Schedulable Real-Time Controllers

Minsoo Ryu, Seongsoo Hong

Integrated Computer-Aided Engineering

Retricted access

Research article

First published 2013-1

Principles of Discrete Event System Specification model verification

Hesham Saadawi, Gabriel Wainer

SIMULATION

Search results