An approach based on knowledge exploration for state space management in checking reachability of complex software systems.
Saved in:
| Title: | An approach based on knowledge exploration for state space management in checking reachability of complex software systems. |
|---|---|
| Authors: | Partabian, Jaafar1, Rafe, Vahid2, v-rafe@araku.ac.ir, Parvin, Hamid3,4, Nejatian, Samad5,6 |
| Source: | Soft Computing - A Fusion of Foundations, Methodologies & Applications; May2020, Vol. 24 Issue 10, p7181-7196, 16p |
| Database: | Applied Science & Technology Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 142648674 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: An approach based on knowledge exploration for state space management in checking reachability of complex software systems. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Partabian%2C+Jaafar%22">Partabian, Jaafar</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AU" term="%22Rafe%2C+Vahid%22">Rafe, Vahid</searchLink><relatesTo>2</relatesTo>, <i>v-rafe@araku.ac.ir</i><br /><searchLink fieldCode="AU" term="%22Parvin%2C+Hamid%22">Parvin, Hamid</searchLink><relatesTo>3,4</relatesTo><br /><searchLink fieldCode="AU" term="%22Nejatian%2C+Samad%22">Nejatian, Samad</searchLink><relatesTo>5,6</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Soft+Computing+-+A+Fusion+of+Foundations%2C+Methodologies+%26+Applications%22">Soft Computing - A Fusion of Foundations, Methodologies & Applications</searchLink>; May2020, Vol. 24 Issue 10, p7181-7196, 16p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=142648674 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s00500-019-04334-3 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 16 StartPage: 7181 Titles: – TitleFull: An approach based on knowledge exploration for state space management in checking reachability of complex software systems. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Partabian, Jaafar – PersonEntity: Name: NameFull: Rafe, Vahid – PersonEntity: Name: NameFull: Parvin, Hamid – PersonEntity: Name: NameFull: Nejatian, Samad IsPartOfRelationships: – BibEntity: Dates: – D: 15 M: 05 Text: May2020 Type: published Y: 2020 Identifiers: – Type: issn-print Value: 14327643 Numbering: – Type: volume Value: 24 – Type: issue Value: 10 Titles: – TitleFull: Soft Computing - A Fusion of Foundations, Methodologies & Applications Type: main |
| ResultId | 1 |