The usage of stochastic processes in embedded system specifications

Conference Object

Abstract: We review the use of nondeterminism and identify two different purposes. The descriptive purpose han

Palabras claves:

Autores:

Ingo Sander, Jantsch A., Wu W.

Fuentes:

scopus