1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Curricula Modelingand Checking Matteo BaldoniCristina BaroglioElisa Marengo2007 год

Curricula Modeling and Checking
глава из книги

Полный текстСтраница публикацииПубликация в OpenAlex
Год издания: 2007
Авторы: Matteo Baldoni, Cristina Baroglio, Elisa Marengo
Издательство: Springer Science+Business Media
Источник: Lecture notes in computer science
Ключевые слова: Formal Methods in Verification, Model-Driven Software Engineering Techniques, Logic, Reasoning, and Knowledge
Другие ссылки: Lecture notes in computer science (HTML)
CiteSeer X (The Pennsylvania State University) (PDF)
CiteSeer X (The Pennsylvania State University) (HTML)