Publication detail

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

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

Original Title

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

English Title

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

Type

journal article - other

Language

en

Original Abstract

Introduction to the Special Issue of Journal of Universal Computer Science related to the 5th Workshop on Formal Specification of Computer-Based Systems

English abstract

Introduction to the Special Issue of Journal of Universal Computer Science related to the 5th Workshop on Formal Specification of Computer-Based Systems

Keywords

Formal specifications, Computer-based systems

RIV year

2004

Released

25.11.2004

ISBN

0948-6968

Periodical

Journal of Universal Computer Science

Year of study

10

Number

10

State

AT

Pages from

1354

Pages to

1356

Pages count

3

Documents

BibTex


@article{BUT45736,
  author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems - J.UCS Special Issue",
  annote="Introduction to the Special Issue of Journal of Universal Computer Science related to the 5th Workshop on Formal Specification of Computer-Based Systems",
  booktitle="Journal of Universal Computer Science",
  chapter="45736",
  journal="Journal of Universal Computer Science",
  number="10",
  volume="10",
  year="2004",
  month="november",
  pages="1354--1356",
  type="journal article - other"
}