Systematic literatura review of PSP adaptations
In this report we present a systematic review of existing literature about PSP adaptations. In particular, we are interested in getting to know those adaptations that propose to incorporate the use of Formal Methods. Section 1 presents general concepts about systematic reviews. Section 2 presents th...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | report |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.12008/3474 |
| Tags: |
No Tags, Be the first to tag this record!
|