Вы здесь
Dingel J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs | 2000 | Dingel J. | Lecture Notes in Computer Science | 30.11.2000 | |||
| СТ | Reasoning about Implicit Invocation | 1998 | Dingel J., Garlan D., Jha S., Notkin D. | Software Engineering Notes | 26.03.1999 | |||
| СТ | A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs | 1999 | Dingel J. | Lecture Notes in Computer Science | 05.02.1999 | |||
| СТ | Model Checking for Infinite State Systems using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving | 1995 | Dingel J., Filkorn T. | Lecture Notes in Computer Science | 26.07.1995 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Model-Driven Engineering Languages and Systems: Proc./17th International Conference, MODELS 2014, Valencia, Spain, September 2014 | 2014 | Lecture Notes in Computer Science |
|
18.11.2014 | |||
| СБ | Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2010 | 2011 | Lecture Notes in Computer Science |
|
26.07.2011 | |||
| СБ | Formal Techniques for Distributed Systems: Proc./Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 2011 | 2011 | Lecture Notes in Computer Science |
|
06.07.2011 |