Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ... Notes in Computer Science (1231), Band 1231)

Menü