14 results on '"Soeanu, Andrei"'
Search Results
2. Probabilistic Model Checking of SysML Activity Diagrams
3. Automatic Approach for Synergistic Verification and Validation
4. Verification and Validation of UML Behavioral Diagrams
5. Software Engineering Metrics in the Context of Systems Engineering
6. Unified Modeling Language
7. Systems Modeling Language
8. Architecture Frameworks, Model-Driven Architecture, and Simulation
9. Conclusion
10. Verification, Validation, and Accreditation
11. Soundness of the Translation Algorithm
12. Semantic Foundations of SysML Activity Diagrams
13. Performance Analysis of Time-Constrained SysML Activity Diagrams
14. Control Flow Based Pointcuts for Security Hardening Concerns
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.