RIB: Analysis of I/O Automata

International Journal of Innovative Technology and Exploring Engineering - India
doi 10.35940/ijitee.i3218.0789s319
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

Blue Eyes Intelligence Engineering and Sciences Engineering and Sciences Publication - BEIESP

Related search

Modal I/O Automata for Interface and Product Line Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Assume-Guarantee Reasoning for Hybrid I/O-Automata by Over-Approximation of Continuous Interaction

2004English

Opto-Electronic I-O Analysis

Input-Output Analysis
1990English

Automata Semantics and Analysis of BPEL

2007English

Symbolic Quantitative Robustness Analysis of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Automata-Based Analysis of Stage Suspended Boom Systems

Journal of Applied Mathematics
Applied Mathematics
2013English

Robust Analysis of Timed Automata via Channel Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Analysis of Simple Randomized Buffer Management for Parallel I/O

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2004English

Memory-Augmented Cellular Automata for Image Analysis.

1978English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy