Solving Sudoku using Simulink Design Verifier-A Model Checking Example
AIAA Infotech@Aerospace 2010
01.01.2010
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Solving Sudoku using Simulink® Design Verifier™ - a Model Checking Example
British Library Conference Proceedings | 2010
|Emerald Group Publishing | 2007
NTRS | 1980
|British Library Conference Proceedings | 1994
|