Amanote Research

Amanote Research

    RegisterSign In

Bounded Retransmission in iUML-B State Machine: A Case Study

doi 10.18178/wcse.2017.06.200
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2017

Authors

Unknown

Publisher

WCSE


Related search

Modelling the Embedded Control System Using iUML-B Pattern State Machine

Journal of Control Science and Engineering
Electronic EngineeringSimulationComputer Science ApplicationsElectricalModeling
2018English

The Bounded Retransmission Protocol Must Be on Time!

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Analysing Security Protocols Using Refinement in iUML-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Machine Vision for Inspection: A Case Study

2011English

A Study of Finite State Machine Coding Styles for Implementation in FPGAs

Midwest Symposium on Circuits and Systems
Electronic EngineeringOpticalElectricalMagnetic MaterialsElectronic
2006English

Extension of Completely Bounded A-B Bimodule Maps†

Glasgow Mathematical Journal
Mathematics
1994English

Service Quality of Automated Teller Machine and Customer Satisfaction: A Case Study of State Bank of India, Patna (Bihar)

International Journal of Management Studies
2018English

Scaling Up With Event-B: A Case Study

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

LDP State Machine

2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy