|
СБ |
Software Engineering and Formal Methods: Proc./19th International Conference, SEFM 2021, Virtual Event, December 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Calinescu R.
- Pasareanu C. S.
|
|
|
15.02.2022 |
|
СБ |
Software Engineering for Resilient Systems: Proc./11th International Workshop, SERENE 2019, Naples, Italy, September 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Calinescu R.
- Di Giandomenico F.
|
|
|
17.10.2019 |
|
СБ |
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Bianculli D.
- Calinescu R.
- Rumpe B.
|
|
|
26.04.2016 |
|
СБ |
Software Engineering and Formal Methods: Proc./13th International Conference, SEFM 2015, York, UK, September 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Calinescu R.
- Rumpe B.
|
|
|
15.09.2015 |
|
СБ |
Lerge-Scale Complex IT Systems. Development, Operation, and Management: Revised Selected Papers/17th Monterey Workshop 2012, Oxford, UK, March 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Calinescu R.
- Garlan D.
|
|
|
11.12.2012 |
|
СБ |
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: Revised Selected Papers/16th Monterey Workshop 2010, Redmont,WA,USA, March/April 2010 |
2011 |
|
Lecture Notes in Computer Science |
- Calinescu R.
- Jackson E.
|
|
|
26.07.2011 |
