PhD Candidate - Symbolic Model Checking techniques for embedded systems

Ente: Fondazione Bruno Kessler

Scadenza: 2026-08-27

Paese: IT

Descrizione

Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important, due to the growing complexity and importance of such systems in every aspect of modern society. Despite the major progress seen in the last twenty years...

Settori: Other

Vai al bando originale

Registrati gratis su Bandolo per trovare bandi compatibili con la tua azienda.