top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Steffen, Bernhard
ID:
878620
Opere
Altre forme del nome
Steffen, Bernhard
Steffen Bernhard
Seleziona tutte
Deseleziona
Bridging the Gap Between AI and Reality
...
Formal Methods for Industrial Critical Systems
...
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
...
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
...
Leveraging applications of formal methods
...
Leveraging applications of formal methods, verification, and validation
...
Mathematical Foundations of Advanced Informatics
...
Real Time and Such
...
The Combined Power of Research, Education, and Dissemination
...