FFormal Techniques for Safety-Critical SystemsFormal Techniques for Safety-Critical Systemsde Osman Hasan, édéric MalletMateriasArtificial intelligenceExpert systems (computer science)Computer simulationComputer scienceEdiciones (1)Formal Techniques for Safety-Critical Systems (2020)Springer · inglés · ISBN 9783030469016Más obras de Osman Hasan
FFormal Analysis of Future Energy Systems Using Interactive TFormal Analysis of Future Energy Systems Using Interactive Theorem Proving
