Model-Based Testing of Reactive Systems : Advanced Lectures /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Berlín, Alemania :
Springer,
2005, c2005
|
| 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: Model-Based Testing of Reactive Systems :
- Reactive Flow Modeling of Hydrothermal Systems /
- Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
- Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology /
- Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
- Reactive Attachment Disorder : A Case-Based Approach /
- Reactive Transport in Soil and Groundwater : Processes and Models /