Date: 2002-11-13 14:10:53Formal 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 USAAdd to Reading ListSource URL: web.cs.wpi.eduDownload Document from Source Website File Size: 350,71 KBShare Document on Facebook
|