loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
Edinburgh, Scotland
April 03-April 07
ISBN: 0-7695-0604-6
ASCII Text
x 
 
Miroslav Sveda, Franz Pichler, Charles Rattray, "IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 382, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2000.839899,
author = {Miroslav Sveda and Franz Pichler and Charles Rattray},
title = {IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2000},
isbn = {0-7695-0604-6},
pages = {382},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2000.839899},
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 - IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
SN - 0-7695-0604-6
SP
EP
A1 - Miroslav Sveda,
A1 - Franz Pichler,
A1 - Charles Rattray,
PY - 2000
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
Miroslav Sveda, Technical University of Brno
Franz Pichler, Johannes Kepler University Linz
Charles Rattray, University of Stirling
The IFIP TC10 Working Group 10.1 “Computer Aided Systems Theory” Committee Meeting at the Vienna University of Technology on the 30th September 1999, resulted in expressing the interest to support a joint workshop with the IEEE Computer Society TC-ECBS focused 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 welcome and greatly supported origination of the IEEE/IFIP Joint Workshop on FS CBS following the ECBS'2000 Conference.
Citation:
Miroslav Sveda, Franz Pichler, Charles Rattray, "IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems," ecbs, pp.382, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000
Usage of this product signifies your acceptance of the Terms of Use.