Analysis tools for Estelle specifications

Piotr Łukasz Roliński , Jacek Wytrębowicz

Abstract

n/a
Author Piotr Łukasz Roliński II
Piotr Łukasz Roliński,,
- The Institute of Computer Science
, Jacek Wytrębowicz II
Jacek Wytrębowicz,,
- The Institute of Computer Science
Pages141-155
Publication size in sheets0.7
Book Estelle'98, Proceedings of the 1st International Workshop on the Formal Description Technique Estelle, 1998
Languageen angielski
Score (nominal)0
Citation count*6 (2018-02-20)
Cite
Share Share



* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back