Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Berlín, Alemania :
Springer,
1997, c1997
|
| Col·lecció: | (Lecture Notes in Computer Science)
|
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Hybrid and Real-Time Systems :
- Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
- Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /
- Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
- Active, Real-Time, and Temporal Database Systems : Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings /
- Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /
- Hybrid Artificial Intelligence Systems : Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008, Proceedings /