Back to Results
First PageMeta Content
Software engineering / Formal methods / Models of computation / Computing / Engineering / Model checking / Object Process Methodology / Conceptual model / MTSS / Scientific modelling / Refinement / Transition system


Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3
Add to Reading List

Document Date: 2010-10-31 06:33:48

Open Document

File Size: 141,41 KB

Share Result on Facebook