Professional Documents
Culture Documents
Chapter: Introduction
Model Developement
- Dynamic Systems (*)
- Event Driven Systems (State Machines)
- Data Models (Databases)
Model Verification
Programming in C-language
Practical Exercises:
Further reading: