Search

Subject Computer software -- Reliability -- Congresses

11. Software engineering for resilient systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings /: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings. (2019)

Editors:
Calinescu, Radu C, 1968-; Di Giandomenico, Felicita, 1960-
Other Names:
SERENE (Workshop), 11th
Record Type:
Book
Extent:
1 online resource (x, 157 pages), illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

12. Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /: 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings. ([2019])

Editors:
Larsen, K. G (Kim G.), 1957-; Willemse, Tim
Other Names:
International Workshop on Formal Methods for Industrial Critical Systems, 24th
Record Type:
Book
Extent:
1 online resource, illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • Computer software -- Reliability -- Congresses 12