Concepedia

Publication | Open Access

A framework for evaluating specification methods for reactive systems

DOIFull Paper Access

51

Citations

18

References

1995

Year

Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, M.G. Staskauskas, James Von Olnhausen

Unknown Venue

Abstract

Numerous formal specification methods for reactive systems have been proposed in the literature.

References

YearCitations

Page 1