RSS

Home » Science Books » Engineering Sciences » Biztonságra tervezés és biztonságigazolás formális módszerei

Bartha Tamás, Majzik István

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

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.

Product details »
  • Article code: PTUDX00171
  • ISBN: 978 963 454 383 1
  • Number of pages: 154
  • Size: B5
  • Type of Cover: Kartonált, ragasztókötött
  • Publication date: 2020
Retail Price: € 11 Discount Offer: € 9.35
Cart -15%

Szállítási idő: max. 2 munkanap

A könyv online kiadása elérhető a MeRSZ-en


Szótár.net