[Lecture Notes in Computer Science] Formal Methods in...

[Lecture Notes in Computer Science] Formal Methods in Software and Systems Modeling Volume 3393 || Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

Kreowski, Hans-Jörg, Montanari, Ugo, Orejas, Fernando, Rozenberg, Grzegorz, Taentzer, Gabriele

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Том:

10.1007/b1

Рік:

2005

Мова:

english

Сторінки:

DOI:

10.1007/978-3-540-31847-7_18

Файл:

PDF, 277 KB

english, 2005

Виконується конвертація в

Конвертація в не вдалась