Verification and validation of logic control systems by model checking /
Saved in:
Main Author: | Saifulza Alwi (Author) |
---|---|
Format: | Software eBook |
Language: | English |
Published: |
2013.
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Verification and validation of logic control systems by model checking /
by: Saifulza Alwi
Published: (2013) -
Modeling and verification of real-time system formalisms and software tools
Published: (2008) -
Modeling and verification of real-time system formalisms and software tools
Published: (2008) -
Principles of model checking
by: Baier, Christel
Published: (2008) -
Principles of model checking
by: Baier, Christel
Published: (2008)