Publication result detail

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems

PICHLER, F.; RATTRAY, C.; ŠVÉDA, M.

Original Title

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems

English Title

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

The paper explains the origins, purpose and targets of the new, joint initiative of the IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems and the IFIP TC10 Working Group 10.1: Computer Aided Systems Theory. This initiative aims at the origination and implementation of the Workshop on Formal Specifications of Computer-Based Systems.

English abstract

The paper explains the origins, purpose and targets of the new, joint initiative of the IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems and the IFIP TC10 Working Group 10.1: Computer Aided Systems Theory. This initiative aims at the origination and implementation of the Workshop on Formal Specifications of Computer-Based Systems.

Keywords

Fomal specification, verification, formal tools

Key words in English

Fomal specification, verification, formal tools

Authors

PICHLER, F.; RATTRAY, C.; ŠVÉDA, M.

Released

01.01.2000

Publisher

IEEE Computer Society

Location

Napier University, Edinburgh

ISBN

0-7695-0604-6

Book

Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000

Pages from

382

Pages to

382

Pages count

1

BibTex

@inproceedings{BUT191518,
  author="PICHLER, F. and RATTRAY, C. and ŠVÉDA, M.",
  title="IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems",
  booktitle="Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000",
  year="2000",
  pages="382--382",
  publisher="IEEE Computer Society",
  address="Napier University, Edinburgh",
  isbn="0-7695-0604-6"
}