Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlín, Alemania :
Springer,
1997, c1997
|
| Series: | (Lecture Notes in Computer Science)
|
| Acceso en liña: | Ver documento en línea |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares: 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 /
- Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /
- Active, Real-Time, and Temporal Database Systems : Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings /
- Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
- Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /