Publication result 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

Paper in proceedings outside WoS and Scopus

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

Key words in English

Formal specifications, Computer-based systems, Workshop

Authors

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

RIV year

2011

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

BibTex

@inproceedings{BUT13955,
  author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems",
  booktitle="Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003",
  year="2003",
  pages="169--172",
  publisher="IEEE Computer Society",
  address="Huntsville, AL",
  isbn="0-7695-1917-2"
}