- All Publications
- Static Analysis
- FLAVERS
- PROPEL
- Finite-State Verification
»
- Property Specification
- Fault-Tree Analysis
- Failure Mode and Effect Analysis
- MPI Verification
- INCA
- Experimentation
- Process Programming and Workflow
[...]
- Software Development
[...]
- Case Studies
[...]
- Electronic Enterprise Institute
- Jump To:
- 2012
- 2010
- 2008
- 2006
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1990
|
LASER Publications
Finite-State Verification
by Shangzhu Wang
Verification Support for Plug-and-Play Architectural Design
Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke,
ACM SIGSOFT 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA 2006), Portland, ME, pp. 49-50, July 2006. (UM-CS-2006-32)
[ ACM ]
[ PDF ]
[ Poster ]
Notice: We present this material to ensure timely and wide dissemination of our work.
All persons copying this material must adhere to the terms of the relevant copyrights
|
This site is maintained by the