1
Cyhoeddwyd 2012
Tabl Cynhwysion: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Validation -- Enabling the Smooth Integration of Core Assets: Defining and Packaging Architectural Rules...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2007
Tabl Cynhwysion: ...Validation and Verification -- Requirements and Concepts for Transaction Level Assertion Refinement...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2005
Tabl Cynhwysion: ... in the Context of a System -- A Process and Role-Based Taxonomy of Techniques to Make Testable COTS Components...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Language Processing -- Authoring Technical Documents for Effective Retrieval -- A Methodology towards...
Cael y testun llawn
Electronig eLyfr
7
gan Spear, Chris., Spear, Chris.
Cyhoeddwyd 2008
Tabl Cynhwysion: ...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Models Consistency -- A UML 2 Profile for Business Process Modelling -- Seventh International Bi...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2007
Tabl Cynhwysion: ...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Improvement Process with the Product Development Program -- Reliability Engineering: A Perspective -- Tampered...
Cael y testun llawn
Electronig eLyfr