Reactive systems in physical environments
compositional modelling and framework verification
Edición de la obra Reactive systems in physical environments
| Autor | Simin Nadjm-Tehrani |
|---|---|
| Editorial | Department of Computer and Information Science, Linköping University |
| Fecha de publicación | 1994 |
| Lugar | Linköping |
| Idioma | inglés |
| Páginas | 178 |
| ISBN-10 | 9178712378 |
| OCLC | 59847755 |
| Número de Cutter | N137r |