Amanote Research
Register
Sign In
A Basis for Formal Robustness Checking
doi 10.1109/isqed.2008.4479838
Full Text
Open PDF
Abstract
Available in
full text
Date
March 1, 2008
Authors
Goerschwin Fey
Rolf Drechsler
Publisher
IEEE
Related search
UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling and Checking Robustness of Communicating Autonomous Vehicles
Advances in Intelligent Systems and Computing
Control
Systems Engineering
Computer Science
Formal Consistency Checking Over Specifications in Natural Languages
Formal Verification of a Group Membership Protocol Using Model Checking
The Elusive Basis of Inferential Robustness
Philosophy of Science
Philosophy
Philosophy of Science
History
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Advances in Software Engineering
Formal Methods Usage With Respect to Critical Systems Checking
Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences
Formal Analysis of Robustness at Model and Code Level
Redesign of the LMST Wireless Sensor Protocol Through Formal Modeling and Statistical Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
