Verification and validation in systems engineering - assessing UML / sysml design models (English)
Verification and validation in systems engineering - assessing UML / sysml design models, I-XXVI, 1-248 (2010).
1
Synergistic verification and validation of systems and software engineering models. (English)
Int. J. Gen. Syst. 38, No. 7, 719-746 (2009).
2
Composing a high fidelity HLA federation for littoral operations (English)
SAC, 2087-2092 (2009).
3
Automatic verification and performance analysis of time-constrained sysml activity diagrams (English)
ECBS, 515-522 (2007).
4
A unified approach for verification and validation of systems and software engineering models (English)
ECBS, 409-418 (2006).
5
Towards a unified paradigm for verification and validation of systems engineering design models (English)
IASTED Conf. on Software Engineering, 282-287 (2006).
6
On the verification and validation of uml structural and behavioral diagrams (English)
ACST, 304-309 (2006).
7
Evaluation of different algorithms for rules allocation in parallel rule-based systems. (Evaluation de diverses méthodes pour des problèmes d’allocation de règles dans les systèmes de production parallèles.) (French)
Rev. Intell. Artif. 10, No.4, 469-497 (1996).
8
Start
Contact
Print
General Help
