Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Stamp
A SysML Profile for Fault Trees—Linking Safety Models to System Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Safety Analysis of SysML Models in the Context of Model-Driven Engineering
Towards the Integration of Safety Analysis in a Model-Based System Engineering Approach With SysML
Lecture Notes in Mechanical Engineering
Automotive Engineering
Transfer Processes
Fluid Flow
Mechanical Engineering
Aerospace Engineering
A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design
International Journal of Embedded and Real-Time Communication Systems
Computer Science
Safety Training System Design for Student Teams
Static Analysis Techniques to Verify Mutual Exclusion Situations Within SysML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linking Education With Industry: Pedagogical Models From Lighting Design
Asian Journal of Behavioural Studies
From Probabilistic Counterexamples via Causality to Fault Trees
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
European Benchmark Fault Trees
Design of a Fault Tolerant Real-Time Storage System for Multimedia Applications
