Gelijkaardige items: Model-Based Testing of Reactive Systems :
- Reactive Flow Modeling of Hydrothermal Systems /
- Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology /
- Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
- 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 /