scientific article; zbMATH DE number 1927410

MaRDI QIDQ4484327zbMATH OpenFDO

Authors Ricky Wayne Butler

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2410/24100001.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Communicating Sequential Processes. The First 25 Years
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• A realistic involvement of formal methods
• scientific article; zbMATH DE number 1982196

Cited in

(5)

• Effect of spatially distributed wall concentration on the wall-flux of a passive scalar field in a laminar to turbulent transition boundary layer
• ParILUT---A New Parallel Threshold ILU Factorization
• scientific article; zbMATH DE number 2011488 (Why is no real title available?)
• scientific article; zbMATH DE number 1927550 (Why is no real title available?)
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484327)