In questo libro vengono accennati alcuni concetti teorici sulle reti logiche per introdurre un possibile algoritmo di risoluzione capace di minimizzazione una rete combinatoria o sequenziale. Il software a corredo č descritto nei dettagli implementativi e completo di esempi pratici nel suo utilizzo.

Negli ultimi anni sono state scoperte diverse minacce informatiche che hanno coinvolto le autovetture autonome e semi-autonome, esponendo i conducenti e i passeggeri a gravi pericoli. Anche se esiste la tecnologia per risolvere molti di questi problemi di sicurezza, come avviene gią nel mondo dei sistemi informatici tradizionali, non č ancora possibile condividerle in ambito automobilistico. Questo lavoro analizza diversi aspetti sulle vulnerabilitą delle principali tecnologie utilizzate in ambito automotive.