Tác giả: Bengt Jonsson

Ủng hộ

2 Ebooks bởi Bengt Jonsson

Manfred Broy & Bengt Jonsson: Model-Based Testing of Reactive Systems
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been m …
PDF
Anh
DRM
€57.74
Bengt Jonsson & Joachim Parrow: CONCUR ’94: Concurrency Theory
This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR ’94, held at Uppsala, Sweden in August 1994.In total, 29 refereed research papers selected …
PDF
Anh
DRM
€57.74