https://scholars.lib.ntu.edu.tw/handle/123456789/105350
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor | Department of Information Management, National Taiwan University | en |
dc.contributor.author | Jonsson, Bengt | en |
dc.contributor.author | Tsay, Yih-Kuen | en |
dc.creator | Jonsson, Bengt; Tsay, Yih-Kuen | - |
dc.date | 1996 | - |
dc.date.accessioned | 2006-11-14T18:01:42Z | - |
dc.date.accessioned | 2018-06-29T12:49:28Z | - |
dc.date.available | 2006-11-14T18:01:42Z | - |
dc.date.available | 2018-06-29T12:49:28Z | - |
dc.date.issued | 1996 | - |
dc.identifier | 246246/2006111501244225 | zh_TW |
dc.identifier.uri | http://www.scopus.com/inward/record.url?eid=2-s2.0-0030260192&partnerID=MN8TOARS | - |
dc.identifier.uri | http://ntur.lib.ntu.edu.tw//handle/246246/2006111501244225 | - |
dc.identifier.uri | http://ntur.lib.ntu.edu.tw/bitstream/246246/2006111501244225/1/10001.pdf | - |
dc.description.abstract | An assumption/guarantee specification of a system consists of an assumption part, which specifies the assumptions on the behavior of the environment, & a guarantee part, which specifies the properties guaranteed by the system if the environment obeys the assumptions. A suitable interpretation of an assumption/guarantee specification was essentially formulated by Misra & Chandy (1981). The interpretation was later extended by others to allow liveness properties in the guarantee part. | en |
dc.format | application/pdf | zh_TW |
dc.format.extent | 1993232 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language | en-US | zh_TW |
dc.language.iso | zh_TW | - |
dc.relation | Theoretical Computer Science 167,47-72 | en |
dc.relation.ispartof | Theoretical Computer Science | en_US |
dc.source | http://www.sciencedirect.com/ | zh_TW |
dc.title | Assumption/guarantee specifications in linear-time temporal logic | en |
dc.type | other | en |
dc.identifier.doi | 10.1016/0304-3975(96)00069-2 | - |
dc.identifier.scopus | 2-s2.0-0030260192 | - |
item.fulltext | with fulltext | - |
item.grantfulltext | open | - |
dc.relation.pages | 47-72 | - |
dc.relation.journalvolume | 167 | - |
dc.relation.journalissue | 1-2 | - |
dc.identifier.uri.fulltext | http://ntur.lib.ntu.edu.tw/bitstream/246246/2006111501244225/1/10001.pdf | - |
item.openairecristype | http://purl.org/coar/resource_type/c_1843 | - |
item.openairetype | other | - |
item.languageiso639-1 | zh_TW | - |
item.grantfulltext | open | - |
item.cerifentitytype | Products | - |
item.fulltext | with fulltext | - |
crisitem.author.dept | Information Management | - |
crisitem.author.orcid | 0000-0002-5960-1615 | - |
crisitem.author.parentorg | College of Management | - |
顯示於: | 資訊管理學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。