Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Supervisor
Title
Subject
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
IR@NITK
Search
Search:
All of DSpace
1. Faculty Publications
2. Thesis and Dissertations
3. Rare eBook Collection
4. NITK@Media
5. Photo Archive
6. Other NITK Publications
for
Current filters:
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 11 (Search time: 0.007 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
Supervisor(s)
2009
Petri net based verification of a cooperative work flow model
Annappa, B.
;
Jiju, P.
;
Chandrasekaran, K.
;
Shet, K.C.
-
2009
Efficient algorithms for verification of UML statechart models
Prashanth, C.M.
;
Shet, K.C.
-
2008
Empirical validation of software development effort multipliers of intermediate COCOMO model
Basavaraj, M.J.
;
Shet, K.C.
-
2007
Activity-based software estimation using work break down structure
Basavaraj, M.J.
;
Shet, K.C.
-
2007
Software estimation using function point analysis: Difficulties and research challenges
Basavaraj, M.J.
;
Shet, K.C.
-
2008
An efficient event based approach for verification of UML statechart model for reactive Systems
Prashanth, C.M.
;
Shet, K.C.
;
Elamkulam, J.
-
2008
Estimating and prediction of turn around time for incidents in application service maintenance projects
Basavaraj, M.J.
;
Shet, K.C.
-
2008
Key management using k-dimensional trees
A, R.
;
Shet, K.C.
-
2008
Development of scheduler for real time and embedded system domain
Rao, M.V.P.
;
Shet, K.C.
;
Balakrishna, R.
;
Roopa, K.
-
2008
Verification framework for detecting safety violations in UML statecharts
Prashanth, C.M.
;
Shet, K.C.
;
Elamkulam, J.
-
Discover
Author
4
Basavaraj, M.J.
3
Prashanth, C.M.
2
Elamkulam, J.
1
A, R.
1
Annappa, B.
1
Balakrishna, R.
1
Chandrasekaran, K.
1
Jiju, P.
1
Rao, M.V.P.
1
Roopa, K.
.
next >
Date issued
6
2008
2
2007
2
2009
1
2003