Search

Subject System safety -- Congresses

1. Advances in safety management and human factors : proceedings of the AHFE 2019 International Conference on Safety Management and Human Factors, July 24-28, 2019, Washington D.C., USA /: proceedings of the AHFE 2019 International Conference on Safety Management and Human Factors, July 24-28, 2019, Washington D.C., USA. (2019)

Editors:
Arezes, Pedro M
Other Names:
International Conference on Safety Management and Human Factors; International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

2. Advances in safety management and human performance : proceedings of the AHFE 2020 Virtual Conferences on Safety Management and Human Factors, and Human Error, Reliability, Resilience, and Performance, July 16-20, 2020, USA /: proceedings of the AHFE 2020 Virtual Conferences on Safety Management and Human Factors, and Human Error, Reliability, Resilience, and Performance, July 16-20, 2020, USA. (2020)

Other Names:
Arezes, Pedro M; Boring, Ronald L; International Conference on Safety Management and Human Factors, 7th; International Conference on Human Error, Reliability, Resilience, and Performance, 4th; International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, 11th
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

4. Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers /: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers. (2017)

Editors:
Artho, Cyrille; Ölveczky, Peter Csaba
Other Names:
FTSCS (Workshop), 5th
Record Type:
Book
Extent:
1 online resource (xii, 161 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

5. Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers /: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers. (2019)

Editors:
Artho, Cyrille; Ölveczky, Peter Csaba
Other Names:
FTSCS (Workshop), 6th
Record Type:
Book
Extent:
1 online resource (xii, 179 pages), illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

6. Formal techniques for safety-critical systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers /: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers. (2020)

Editors:
Hasan, Osman, 1975-; Mallet, Frédéric
Other Names:
FTSCS (Workshop), 7th
Record Type:
Book
Extent:
1 online resource (viii, 141 pages), illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

7. Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers /: fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers. (2016)

Editors:
Artho, Cyrille; Ölveczky, Peter Csaba
Other Names:
FTSCS (Workshop), 4th
Record Type:
Book
Extent:
1 online resource (x, 271 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

8. Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers /: third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers. (2015)

Editors:
Artho, Cyrille; Ölveczky, Peter Csaba
Other Names:
International Workshop of Formal Techniques for Safety-Critical Systems, 3rd
Record Type:
Book
Extent:
1 online resource (x, 257 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search