loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Manuel I. Capel 1 ; José R. Balsas 2 and Juan A. Holgado 1

Affiliations: 1 Universidad de Granada, Spain ; 2 Universidad de Jaén, Spain

ISBN: 972-8865-03-1

Abstract: In this paper, a bottom-up formal technique to obtain a correct system specification from the RT/SA requirements specification of real-time systems is proposed. As an application, a design of the production cell is introduced.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.189.171

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
I. Capel M.; R. Balsas J.; A. Holgado J. and (2004). Systematic Design of Real-Time Systems Based on CSP+T Process Algebra.In Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004) ISBN 972-8865-03-1, pages 81-83. DOI: 10.5220/0002684700810083

@conference{vveis04,
author={Manuel {I. Capel} and José {R. Balsas} and Juan {A. Holgado}},
title={Systematic Design of Real-Time Systems Based on CSP+T Process Algebra},
booktitle={Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)},
year={2004},
pages={81-83},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002684700810083},
isbn={972-8865-03-1},
}

TY - CONF

JO - Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)
TI - Systematic Design of Real-Time Systems Based on CSP+T Process Algebra
SN - 972-8865-03-1
AU - I. Capel, M.
AU - R. Balsas, J.
AU - A. Holgado, J.
PY - 2004
SP - 81
EP - 83
DO - 10.5220/0002684700810083

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.