Systematic Design of Real-Time Systems Based on CSP+T Process Algebra

Manuel I. Capel; José R. Balsas; Juan A. Holgado

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

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 0ICEIS, 81-83, 2004 , Porto, Portugal

Authors: Manuel I. Capel ¹ ; José R. Balsas ² and Juan A. Holgado ¹

Affiliations: ¹ Universidad de Granada, Spain ; ² Universidad de Jaén, Spain

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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. and A. Holgado, J. (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 (ICEIS 2004) - VVEIS; ISBN 972-8865-03-1, SciTePress, 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 (ICEIS 2004) - VVEIS},
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 (ICEIS 2004) - VVEIS
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
PB - SciTePress