Refine your search

Your search returned 2 results.

|
1.
Formal Modeling and Analysis of Timed Systems [Recurso electrónico] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-FranÃ{u00A7}ois Raskin, P. S. Thiagarajan.

by Raskin, Jean-FranÃ{u00A7}ois | Thiagarajan, P. S | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

2.
From Model-Driven Design to Resource Management for Distributed Embedded Systems [Recurso electrónico] : IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11â€{u1CEC} 2006, Braga, Portugal / edited by Bernd Kleinjohann, Lisa Kleinjohann, Ricardo J. Machado, Carlos E. Pereira, P. S. Thiagarajan.

by Kleinjohann, Bernd | Kleinjohann, Lisa | Machado, Ricardo J | Pereira, Carlos E | Thiagarajan, P. S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available

Powered by Koha