Teljes leírás
A Budapesti Műszaki és Gazdaságtudományi Egyetem oktatói a jelen egyetemi jegyzettel a Közlekedésmérnöki és Járműmérnöki Kar Autonóm járműirányítási mérnök MSc mesterszak képzésben résztvevő hallgatóknak nyújtanak át egy hiánypótló tankönyvet, amelyből a leendő mérnökök megismerhetik az alapvető formális leírási módszereket és ellenőrzési megoldásokat, amelyeket a biztonsággal összefüggő rendszerek tervezése és biztonságigazolása során alkalmazhatnak.