Вы здесь
Rosu G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Online Efficient Predictive Safety Analysis of Multithreaded Programs | 2004 | Sen K., Rosu G., Agha G. | Lecture Notes in Computer Science | 15.05.2004 | |||
| СТ | Composing Hidden Information Modules over Inclusive Institutions | 2004 | Goguen J., Rosu G. | Lecture Notes in Computer Science | 27.04.2004 | |||
| СТ | Generating Optimal Linear Temporal Logic Monitors by Coinduction | 2003 | Sen K., Rosu G., Agha G. | Lecture Notes in Computer Science | 14.01.2004 | |||
| СТ | Experiments with Test Case Generation and Runtime Analysis | 2003 | Artho C., Drusinsky D., Goldberg A., Havelund K., Lowry M., Pasareanu C., Rosu G., Visser W. | Lecture Notes in Computer Science | 28.03.2003 | |||
| СТ | A Total Approach to Partial Algebraic Specification | 2002 | Meseguer J., Rosu G. | Lecture Notes in Computer Science | 03.08.2002 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Techniques for Distributed Systems: Proc./Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 2012 | 2012 | Lecture Notes in Computer Science |
|
13.08.2012 | |||
| СБ | Algebraic Methodology and Software Technology: Proc./12th International Conference, AMAST 2008. Urbana, IL, USA, July 2008 | 2008 | Lecture Notes in Computer Science |
|
20.09.2008 | |||
| СБ | Formal Approaches to Software Testing and Runtime Verification: Revised Selected Papers/First Combined International Workshops FATES 2006 and RV 2006, Seattle,WA,USA,August 2006 | 2006 | Lecture Notes in Computer Science |
|
10.02.2007 |