Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Theoretical computer science / Hardware verification languages / Aspect-oriented software development / Formal verification / Model checking / Abstraction / E / Communications protocol / Modularity / Construction and Analysis of Distributed Processes


Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA
Add to Reading List

Document Date: 2002-11-13 14:10:53


Open Document

File Size: 350,71 KB

Share Result on Facebook
UPDATE