Formal Analysis of Robustness at Model and Code Level

doi 10.1145/2883817.2883824
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

A Basis for Formal Robustness Checking

2008English

Formal Proofs of Code Generation and Verification Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Ghana and Indonesia: Reforms in Non-Formal Education at the Community Level

Prospects
Education
1981English

Robustness Analysis of Model Parameters for Sediment Transport Equation Development

ASM Science Journal
Multidisciplinary
2019English

Formal Analysis of a Model for Electronic Payment Systems

2017English

Curriculum Analysis of Food Safety Competences at Elementary and Upper-Secondary Level of Formal Education Inside Food-Related Programs in Slovenia

Journal of Food Science Education
EducationFood Science
2018English

Data Analysis at Level-1 Trigger Level

2018English

Robustness of the Prediction Filter in Differential Pulse Code Modulation System

Elektronika ir Elektrotechnika
Electronic EngineeringElectrical
2016English

UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy