Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bart Van Passel
Verifying the Design of an Outsourced COBOL System With IntensiVE
Related publications
Verifying Traits: An Incremental Proof System for Fine-Grained Reuse
Formal Aspects of Computing
Theoretical Computer Science
Software
A Partial Safety Factor Method for System Reliability Prediction With Outsourced Components
ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering
Risk
Mechanical Engineering
Reliability
Safety
Safety Research
Quality
Verifying Computations With State
Secure Outsourced Calculations With Homomorphic Encryption
Advanced Computing: An International Journal
Feedback System Design With an Uncertain Plant
Mastering COBOL Programming
Information Technology. Programming Languages. COBOL
Logistic System Design of an Underground Freight Pipeline System||Logistic System Design of an Underground Freight Pipeline System
The Guided System Development Framework: Modeling and Verifying Communication Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
