Dynamic contracts for adaptive specification

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings Seventh World Multi-Conference in Systemics, Cybernetics and Informatics (SCI 2003, Orlando FL, USA, July 27-30, 2003)
EditorsN. Callaos, A.M. Di Sciullo, T. Ohta, T.K. Liu
Place of PublicationOrlando FL, USA
PublisherIIIS
Pages95-101
Volume16
ISBN (Print)9806560019
Publication statusPublished - 2003

Cite this