Finzi, Alberto (2010) Validation and verification issues in a timeline-based planning system. [Pubblicazione in rivista scientifica]
Full text not available from this repository.
Original publication URL: http://journals.cambridge.org/action/displayAbstra...
Item Type: | Pubblicazione in rivista scientifica |
---|---|
Resource language: | English |
Title: | Validation and verification issues in a timeline-based planning system |
Creators: | Creators Email Finzi, Alberto UNSPECIFIED |
Autore/i: | A. Cesta, A. Finzi, S. Fratini, A. Orlandinia, E. Tronci |
Date: | 2010 |
Number of Pages: | 19 |
Department: | Scienze fisiche |
Identification Number: | 10.1017/S0269888910000160 |
Original publication URL: | http://journals.cambridge.org/action/displayAbstra... |
Journal or Publication Title: | KNOWLEDGE ENGINEERING REVIEW |
Date: | 2010 |
Volume: | 25 |
Number: | 3 |
Page Range: | pp. 299-318 |
Number of Pages: | 19 |
Keywords: | Verification and validation, planning and scheduling, temporal planning |
Identification Number: | 10.1017/S0269888910000160 |
Date Deposited: | 21 Oct 2010 07:39 |
Last Modified: | 30 Apr 2014 19:43 |
URI: | http://www.fedoa.unina.it/id/eprint/7684 |
Downloads
Downloads per month over past year
Actions (login required)
View Item |