Пропуск в контексте
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Язык
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Метка
Найти
Расширенный поиск
A data−flow approach to test m...
Цитировать
Отправить по sms
Отправить на Email
Печать
Запись для экспорта
Экспорт в RefWorks
Экспорт в EndNoteWeb
Экспорт в EndNote
Постоянная ссылка
A data−flow approach to test multi−agent ASMs
Показать другие версии (1)
Библиографические подробности
Главный автор:
Cavarra, A
Формат:
Journal article
Опубликовано:
2011
Фонды
Описание
Другие версии (1)
Схожие документы
Marc-запись
Отображение
1 - 1
результаты of
1
Показать все версии (2)
Search Result 1
A data-flow approach to test multi-agent ASMs.
по
Cavarra, A
Опубликовано 2011
Journal article
Показать все версии (2)
Схожие документы
A data-flow approach to test multi-agent ASMs.
по: Cavarra, A
Опубликовано: (2011)
A Formal Semantics of UML: The ASM Approach
по: Cavarra, A
Опубликовано: (2000)
An ASM Semantics for UML Activity Diagrams
по: Börger, E, и др.
Опубликовано: (2000)
Specifying and Verifying the Parlay Call−Control Using ASMs
по: Falcarin, P, и др.
Опубликовано: (2003)
Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
по: Cavarra, A, и др.
Опубликовано: (2004)