From ProCoS to Space and Mental Models A Survey of Combining Formal and Semi-formal Methods

Buth, Bettina

DC Field	Value	Language
dc.contributor.author	Buth, Bettina
dc.date.accessioned	2020-08-20T12:32:25Z	-
dc.date.available	2020-08-20T12:32:25Z	-
dc.date.issued	2017
dc.identifier.uri	http://hdl.handle.net/20.500.12738/88	-
dc.publisher	Springer
dc.relation.ispartofseries	Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
dc.title	From ProCoS to Space and Mental Models A Survey of Combining Formal and Semi-formal Methods
dc.type	inBook
local.contributorPerson.editor	Hinche, M.
local.contributorPerson.editor	Bowen, J.
local.contributorPerson.editor	Olderog, E.-R.
tuhh.oai.show	true	en_US
tuhh.publication.institute	Department Informatik
tuhh.publication.institute	Fakultät Technik und Informatik
tuhh.type.opus	InBuch (Kapitel / Teil einer Monographie)	-
dc.type.casrai	Book Chapter	-
dc.type.dini	bookPart	-
dc.type.driver	bookPart	-
dcterms.DCMIType	Text	-
item.cerifentitytype	Publications	-
item.openairecristype	http://purl.org/coar/resource_type/c_3248	-
item.creatorOrcid	Buth, Bettina	-
item.fulltext	No Fulltext	-
item.creatorGND	Buth, Bettina	-
item.grantfulltext	none	-
item.openairetype	inBook	-
crisitem.author.dept	Department Informatik (ehemalig, aufgelöst 10.2025)	-
crisitem.author.parentorg	Fakultät Technik und Informatik (ehemalig, aufgelöst 10.2025)	-
Appears in Collections:	Publications without full text