Approach to Verification of Models of Real Time Systems Using Method of Model Checking
Published: 31.12.2012
Authors: Andreev A.M., Kozlov I.A.
Published in issue: #11(11)/2012
DOI: 10.18698/2308-6033-2012-11-478
Category: Information technology | Chapter: Computer systems and networks