A formal framework for modeling and testing memories
Main Author: | Sidorowicz, Piotr Roald |
---|---|
Language: | en |
Published: |
National Library of Canada = Biblioth??que nationale du Canada
2006
|
Subjects: | |
Online Access: | http://hdl.handle.net/10012/518 |
Similar Items
-
A formal framework for modeling and testing memories
by: Sidorowicz, Piotr Roald
Published: (2006) -
Formal models and analysis for software component interaction testing
by: Liu, Wayne
Published: (2006) -
Formal models and analysis for software component interaction testing
by: Liu, Wayne
Published: (2006) -
A formalization of an extended object model using views
by: Nova, Luis C. M.
Published: (2006) -
A formalization of an extended object model using views
by: Nova, Luis C. M.
Published: (2006)