Páginas

sábado, 31 de julho de 2010

Sistemas híbridos

Estados discretos,
estados contínuos,
eventos exógenos,
entradas dinâmicas.

Invariantes, guardas e jumps
Sequência (infinita) ordenada
Deadlock em causa.

Nenhum comentário:

Postar um comentário