Publication Details

Asynchronous Specification Language and Design with Local Time

ŠVÉDA Miroslav. Asynchronous Specification Language and Design with Local Time. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998, pp. 256-263. ISBN 0-8186-8463-1.

Czech title

Asynchronní specifikační jazyk a návrh s konceptem lokálního času

Type

conference paper

Language

english

Authors

Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)

Keywords

Asynchronous specification language, local time, embedded system

Abstract

Asynchronous Specification Language based on the notion of local time props a specification and desing method aiming at embedded systems

Published

1998

Pages

256-263

Proceedings

Proceedings of the IEEE Conference and Workshop ECBS'98

Conference

IEEE Conference and Workshop Engineering of Computer-Based Systems, Maale Hachamisha, IL

ISBN

0-8186-8463-1

Publisher

IEEE Computer Society

Place

Maale Hachamisha, IL

BibTeX

@INPROCEEDINGS{FITPUB6486,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Asynchronous Specification Language and Design with Local Time",
   pages = "256--263",
   booktitle = "Proceedings of the IEEE Conference and Workshop ECBS'98",
   year = 1998,
   location = "Maale Hachamisha, IL",
   publisher = "IEEE Computer Society",
   ISBN = "0-8186-8463-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6486"
}