Linking Paradigms in Safety Critical Systems | 0 | 0.34 | 2009 |
RT3-TUCS: How to Build a Certifiable and Safety Critical Railway Application with UML Notation | 0 | 0.34 | 2008 |
Requirements engineering in a model-based methodology for embedded automotive software | 6 | 0.48 | 2008 |
A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems | 4 | 0.43 | 2007 |
Human reliability analysis for automatic train supervision. | 1 | 0.38 | 2007 |
Commandments of UML for Safety | 1 | 0.38 | 2007 |
BRAIL - Safety Requirement Analysis | 0 | 0.34 | 2005 |
BHDL: circuit design in B | 6 | 0.66 | 2003 |
ABTOOLS: Another B Tool | 3 | 0.42 | 2003 |
Object oriented method for Axiom | 1 | 0.40 | 1995 |