Time-constrained reactive automata
a novel development methodology for embedded real-time systems
Edición de la obra Time-constrained reactive automata
| Autor | Azer Bestavros |
|---|---|
| Fecha de publicación | 1992 |
| Idioma | inglés |
| Páginas | 117 |
| OCLC | 26967208 |
| Número de Cutter | B561t |