Detail publikace

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

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

Originální název

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Fomal specification, verification, formal tools

Autoři

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

Vydáno

1. 1. 2000

Nakladatel

IEEE Computer Society

Místo

Napier University, Edinburgh

ISBN

0-7695-0604-6

Kniha

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

Strany od

382

Strany do

382

Strany počet

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"
}