Amanote Research
Register
Sign In
Verification Procedures Supporting Software Systems Development
doi 10.1109/mark.1979.8817299
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 1979
Authors
GRUIA-CATALIN ROMAN
Publisher
IEEE
Related search
OpenArgue: Supporting Argumentation to Evolve Secure Software Systems
Deductive Software Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Development, Assessment and Verification of Finite Element Procedures for Contact Problems
Adaptive Reuse of Libre Software Systems for Supporting On-Line Collaboration
ACM SIGSOFT Software Engineering Notes
Experimental Procedures for Entanglement Verification
Physical Review A
Embedded Software Verification in Hardware–software Codesign
Journal of Systems Architecture
Hardware
Architecture
Software
Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems
Cybernetics and Information Technologies
Computer Science
On Quantitative Software Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Application of a Generator-Based Software Development Method Supporting Model Reuse
Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer Processes
Fluid Flow