Szerzők: Bartha Tamás, Majzik István Akadémiai Kiadó, 2020 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. A kötet adatai: Formátum: B/5 Kötés: kartonált, ragasztókötött
Megjelenés éve: 2020 Terjedelem: 154 oldal