[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Verifying UML/OCL models using Boolean satisfiability
- 作者Soeken, Mathias; Wille, Robert; Kuhlmann, Mirco; Gogolla, Martin; Drechsler, Rolf
- 文件大小111.52KB
- 发表时间2010
- DOI10.1109/date.2010.5457017
- 页码1341-1344
[IEEE 1991 IEEE International Joint Conference on Neural Networks - Singapore (18-21 Nov. 1991)] [Proceedings] 1991 IEEE International Joint Conference on Neural Networks - Neural net versus control theoryYichuang Jin, ; Pipe, T. · 1991
[IEEE 1991 IEEE International Joint Conference on Neural Networks - Singapore (18-21 Nov. 1991)] [Proceedings] 1991 IEEE International Joint Conference on Neural Networks - A multilayered neural net controller for servo systemsKhan, E.R.; Ogunfunmi, T. · 1991
[IEEE 1991 IEEE International Joint Conference on Neural Networks - Singapore (18-21 Nov. 1991)] [Proceedings] 1991 IEEE International Joint Conference on Neural Networks - PPNN: a faster learning and better generalizing neural netXu, B.; Zheng, L. · 1991
[IEEE International Joint Conference on Neural Networks - Washington, DC, USA (1990.06.17-1990.06.21)] International Joint Conference on Neural Networks - Algebraic analysis of neural net learningClingman, ; Friesen, · 1989
[IEEE International Joint Conference on Neural Networks - Washington, DC, USA (1990.06.17-1990.06.21)] International Joint Conference on Neural Networks - Sorting by Hopfield netAtkins, · 1989
[IEEE 1991 IEEE International Joint Conference on Neural Networks - Singapore (18-21 Nov. 1991)] [Proceedings] 1991 IEEE International Joint Conference on Neural Networks - Speaker-independent syllable recognition by a pyramidical neural netShulin Yang, ; Youan Ke, ; Zhong Wang, · 1991
[IEEE The 2006 IEEE International Joint Conference on Neural Network Proceedings - Vancouver, BC, Canada (16-21 July 2006)] The 2006 IEEE International Joint Conference on Neural Network Proceedings - A Very Small Chaotic Neural NetLourenco, C. · 2006
[IEEE 1991 IEEE International Joint Conference on Neural Networks - Singapore (18-21 Nov. 1991)] [Proceedings] 1991 IEEE International Joint Conference on Neural Networks - An investigation into neural net control systems with integral actionLim, H.K.; Lee, T.H.; Low, T.S. · 1991