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
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"
}
Back to top