Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by GRUIA-CATALIN ROMAN
Verification Procedures Supporting Software Systems Development
Related publications
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
