|
Published Articles >> Table of Contents >> Abstract
7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems
p. 382
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
Miroslav Sveda, Technical University of Brno
Franz Pichler, Johannes Kepler University Linz
Charles Rattray, University of Stirling
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2000.839899
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
Citation:
Miroslav Sveda, Franz Pichler, Charles Rattray,
"IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems,"
ecbs,
p. 382,
7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems,
2000
|
|
