//
Loed praegu...
Autotehnika / Automotive Engineering

Forms/format 2010: Formal methods for automation and safety in railway and automotive systems. Springer, 2011

forms formatTegemist on konverentsikogumikuga, mis annab ülevaate formaalsetest meetoditest automaatika- ja ohutussüsteemide puhul raudtee ja autotehnika valdkonnas. Formaalsed meetodid võimaldavad lisaks korrektsusele ja terviklikkuse kontrollile tõestada süsteemi süntaktilist ja semantilist spetsifikatsiooni ning simuleerida süsteemi toimimist.

Raamatu esimene osa käsitleb ohutust ja turvalisust ning nende rakendamist transpordivaldkonnas. Teine osa annab ülevaate seaduslikest aspektidest ning süsteemide simuleerimise ja arendamise meetoditest autotehnika valdkonnas.

Vaata, kas raamatut saab laenutada

Click to see if the item is available

Discussion

Comments are closed.

Varasemad postitused