On the development of dependable intelligent systems
暂无分享,去创建一个
Yoshihiro Nakabo | Kohtaro Ohba | Tetsuo Kotoku | Geoffrey Biggs | K. Ohba | G. Biggs | Y. Nakabo | T. Kotoku
[1] Yoshihiro Nakabo,et al. Modeling and Verification of Safety Systems using Formal Methods for Human-Coexisting Robots , 2009 .
[2] Bruce Powel Douglass,et al. Analyze system safety using UML within the IBM Rational Rhapsody environment , 2009 .
[3] Jan Jürjens,et al. UMLsec: Extending UML for Secure Systems Development , 2002, UML.
[4] H. Stroeve,et al. Literature survey of safety modelling and analysis of organizational processes , 2007 .
[5] Tim Weilkiens,et al. Systems engineering with SysML / UML - modeling, analysis, design , 2007 .
[6] Domitilla Del Vecchio,et al. Formal design of a provably safe robotic roundabout system , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[7] Mirko Conrad,et al. Safety-Critical Software Development Using Automatic Production Code Generation , 2007 .
[8] Ian F. Alexander,et al. Misuse Cases: Use Cases with Hostile Intent , 2003, IEEE Softw..
[9] David A. Basin,et al. SecureUML: A UML-Based Modeling Language for Model-Driven Security , 2002, UML.