Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
tarafından
Collart-Dutilleul, Simon. editor.
Başlık
:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Yazar
:
Collart-Dutilleul, Simon. editor.
ISBN
:
9783030187446
Basım Bilgisi
:
1st ed. 2019.
Fiziksel Tanımlama
:
XIX, 297 p. 200 illus., 91 illus. in color. online resource.
Seri
:
Programming and Software Engineering ; 11495
Konu Terimleri
:
Software engineering.
Programming languages (Electronic computers).
Mathematical logic.
Algorithms.
Computer simulation.
Yazar Ek Girişi
:
Collart-Dutilleul, Simon.
Lecomte, Thierry.
Romanovsky, Alexander.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 486274-1001 | ONLINE | | Elektronik Kütüphane |