Publication detail

Formal Specifications of Computer-Based Systems

ŠVÉDA, M., RATTRAY, C., ROZENBLIT, J.

Original Title

Formal Specifications of Computer-Based Systems

English Title

Formal Specifications of Computer-Based Systems

Type

conference paper

Language

en

Original Abstract

This contribution in its first section describes origins of the joint initiative of the IEEE Computer Society TC-ECBS and the IFIP WG10.1 resulting in the IEEE/IFIP Joint Workshops on Formal Specifications of Computer-Based Systems in frame of Formal Specifications Working Group sessions following annual ECBS Conferences. Next sections inform about the program of the first three Joint Workshops held in Edinbourgh, UK, Washington, D.C., USA, and Lund, Sweden and announce the current Joint Workshop 2003.

English abstract

This contribution in its first section describes origins of the joint initiative of the IEEE Computer Society TC-ECBS and the IFIP WG10.1 resulting in the IEEE/IFIP Joint Workshops on Formal Specifications of Computer-Based Systems in frame of Formal Specifications Working Group sessions following annual ECBS Conferences. Next sections inform about the program of the first three Joint Workshops held in Edinbourgh, UK, Washington, D.C., USA, and Lund, Sweden and announce the current Joint Workshop 2003.

Keywords

Formal specifications, Computer-based systems, Workshop

RIV year

2003

Released

07.04.2003

Publisher

IEEE Computer Society

Location

Huntsville, AL

ISBN

0-7695-1917-2

Book

Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003

Pages from

169

Pages to

172

Pages count

4

Documents

BibTex


@inproceedings{BUT13955,
  author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems",
  annote="This contribution in its first section describes origins of the joint initiative of the IEEE Computer Society TC-ECBS and the IFIP WG10.1 resulting in the IEEE/IFIP Joint Workshops on Formal Specifications of Computer-Based Systems in frame of Formal Specifications Working Group sessions following annual ECBS Conferences. Next sections inform about the program of the first three Joint Workshops held in Edinbourgh, UK, Washington, D.C., USA, and Lund, Sweden and announce the current Joint Workshop 2003.",
  address="IEEE Computer Society",
  booktitle="Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003",
  chapter="13955",
  institution="IEEE Computer Society",
  year="2003",
  month="april",
  pages="169--172",
  publisher="IEEE Computer Society",
  type="conference paper"
}