loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03)
Formal Specifications of Computer-Based Systems
Huntsville, Alabama
April 07-April 10
ISBN: 0-7695-1917-2
ASCII Text
x 
 
Miroslav Sveda, Charles Rattray, Jerzy Rozenblit, "Formal Specifications of Computer-Based Systems," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 169, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2003.1194796,
author = {Miroslav Sveda and Charles Rattray and Jerzy Rozenblit},
title = {Formal Specifications of Computer-Based Systems},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2003},
isbn = {0-7695-1917-2},
pages = {169},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2003.1194796},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - Formal Specifications of Computer-Based Systems
SN - 0-7695-1917-2
SP
EP
A1 - Miroslav Sveda,
A1 - Charles Rattray,
A1 - Jerzy Rozenblit,
PY - 2003
KW - null
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
Miroslav Sveda, Brno University of Technology
Charles Rattray, University of Stirling
Jerzy Rozenblit, University of Arizona

The IFIP TC10 Working Group 10.1 "Computer Aided Systems Theory" Committee Meeting at the Vienna University of Technology on the 30 th September 1999, resulted in a resolution to support a joint workshop with the IEEE Computer Society TC-ECBS on Formal Specifications of Computer-Based Systems (FS CBS). Owing to a substantial overlap in this research domain, Franz Pichler, the founder of the IFIP WG10.1, and Charles Rattray, the IFIP WG10.1 chair, delegated Miroslav Sveda, a member of both WG10.1 and TC-ECBS, to act as a contact person in this activity.

The ECBS Executive Committee has welcomed and greatly supported the initiation and implementation of the IEEE/IFIP Joint Workshops on FS CBS as Formal Specifications Working Group Sessions following annual ECBS Conferences.

Citation:
Miroslav Sveda, Charles Rattray, Jerzy Rozenblit, "Formal Specifications of Computer-Based Systems," ecbs, pp.169, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.