RSS

Nyitólap » Tudomány » Műszaki tudományok » Biztonságra tervezés és biztonságigazolás formális módszerei

Hírek

  • Open Access megállapodás az EISZ Nemzeti Programmal

    Tovább
  • Tájékoztató Android szótáralkalmazásaink kivezetéséről

    Tovább
  • Tájékoztató iOS szótáralkalmazásaink frissítéséhez

    Tovább

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.

További jellemzők »
  • Cikk kód: PTUDX00171
  • ISBN: 978 963 454 383 1
  • Oldalszám: 154
  • Formátum: B5
  • Borító típusa: Kartonált, ragasztókötött
  • Kiadás éve: 2020
Bolti ár: 3300 Ft Kiadói ár: 2805 Ft
Kosárba -15%

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

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