VERMILLION VERifiable MultIagent framework for dependabLe and adaptabLe avIONics

dc.contributor.guide	Dsouza, Meenakshi and K V Dinesha
dc.coverage.spatial
dc.creator.researcher	Kashi, Rajanikanth N
dc.date.accessioned	2021-12-14T09:37:05Z
dc.date.available	2021-12-14T09:37:05Z
dc.date.awarded	2019
dc.date.completed	2019
dc.date.registered	2011
dc.description.abstract	newline
dc.description.note
dc.format.accompanyingmaterial	None
dc.format.dimensions
dc.format.extent
dc.identifier.uri	http://hdl.handle.net/10603/351263
dc.language	English
dc.publisher.institution	Department of Computer Science
dc.publisher.place	Bangalore
dc.publisher.university	International Institute of Information Technology Bangalore
dc.relation
dc.rights	university
dc.source.university	University
dc.subject.keyword	Computer Science
dc.subject.keyword	Computer Science Interdisciplinary Applications
dc.subject.keyword	Engineering and Technology
dc.title	VERMILLION VERifiable MultIagent framework for dependabLe and adaptabLe avIONics
dc.title.alternative
dc.type.degree	Ph.D.