СБ |
Reliable Software Technologies - Ada-Europe 2016: Proc./21st Ada-Europe International Conference on RST, Pisa, Italy, June 2016 |
2016 |
|
Lecture Notes in Computer Science |
- Bertogna M.
- Pinho L. M.
- Quinones E.
|
|
|
02.08.2016 |
СБ |
Architecture of Computing Systems - ARCS 2015: Proc./28th International Conference, Porto, Portugal, March 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Pinho L. M.
- Karl W.
- Cohen A.
- Brinkschulte U.
|
|
|
25.08.2015 |
СБ |
Reliable Software Technologies - Ada-Europe 2012: Proc./17th Ada-Europe International Conference on RST, Stockholm, Sweden, June 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Brorsson M.
- Pinho L. M.
|
|
|
20.06.2012 |
СБ |
Reliable Software Technologies - Ada-Europe 2006: Proc./11th Ada-Europe International Conference on Reliable Software Technologies. Porto, Portugal, June 2006 |
2006 |
|
Lecture Notes in Computer Science |
- Pinho L. M.
- Gonzalez Harbour M.
|
|
|
25.07.2006 |