Bartha Tamás, Majzik István

Biztonságra tervezés és biztonságigazolás formális módszerei


Biztonságra tervezés és biztonságigazolás formális módszerei

Tartalomjegyzék


Kiadó: Akadémiai Kiadó

Online megjelenés éve: 2019

ISBN: 978 963 454 291 9

DOI: 10.1556/9789634542919

Jelen jegyzet a Budapesti Műszaki és Gazdaságtudományi Egyetem Közlekedésmérnöki és Járműmérnöki Kara Autonóm járműirányítási mérnök MSc mesterszak képzéséhez készült kiegészítő tananyagként. Az autonóm járművek a jövőben olyan mértékben alakítják át a közlekedéssel kapcsolatos társadalmi elvárásokat, és ennek kapcsán biztonságos működésükkel kapcsolatban olyan elvárások fogalmazódnak meg, hogy a jegyzetben ismertetett biztonságigazolási módszerek egyre jobban integrálódni fognak a járműmérnöki gyakorlatba. Jegyzetünk megalapozó tankönyvnek tekinthető a formális módszerek mérnöki alkalmazása területén: bevezet a legfontosabb formális leírási módok használatába, segít a rendszerek modellezésének megértésében és elsajátításában, és bemutatja a modellellenőrzés legfontosabb módszereit.

Hivatkozás: https://mersz.hu/bartha-majzik-biztonsagra-tervezes-es-biztonsagigazolas-formalis-modszerei//

BibTeXEndNoteMendeleyZotero
Kedvenceimhez adás

A kiadványokat, képeket, kivonataidat kedvencekhez adhatod, hogy a tanulmányaidhoz, kutatómunkádhoz szükséges anyagok mindig kéznél legyenek.

Ha nincs még felhasználói fiókod, regisztrálj most,
vagy lépj be a meglévővel!

Személyes mappák
Mappába rendezés

A kiadványokat, képeket mappákba rendezheted, hogy a tanulmányaidhoz, kutatómunkádhoz szükséges anyagok mindig kéznél legyenek.

A MeRSZ+ funkciókért válaszd az egyéni előfizetést!

Személyes mappák
Kivonatszerkesztés

Intézményi hozzáféréssel az eddig elkészült kivonataidat megtekintheted, de újakat már nem hozhatsz létre.

A MeRSZ+ funkciókért válaszd az egyéni előfizetést!

Kivonatkészítés
Folyamatos görgetés

Választhatsz, hogy fejezetről fejezetre lapozva vagy inkább folyamatosan olvasnád-e a könyveket. A görgetősávon mindig láthatod, hol tartasz, mintha csak egy nyomtatott könyvet tartanál a kezedben.

A MeRSZ+ funkciókért válaszd az egyéni előfizetést!

Folyamatos görgetés
Kivonat
fullscreenclose
printsave