Heterogeneous Assertion-Based Verification for Medical Devices Development

dc.contributor.author	Lämmermann, Stefan
dc.contributor.author	Ruf, Jürgen
dc.contributor.author	Kropf, Thomas
dc.contributor.author	Rosenstiel, Wolfgang
dc.date.accessioned	2015-05-06T15:31:09Z
dc.date.available	2015-05-06T15:31:09Z
dc.date.issued	2012
dc.identifier.uri	http://hdl.handle.net/10900/63235
dc.language.iso	en	de_DE
dc.relation.uri	http://www.researchgate.net/profile/Andreas_Burger3/publication/259465146_Heterogeneous_Assertion-Based_Verification_for_Medical_Devices_Development/links/0a85e52ddd1610b68b000000.pdf	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	Heterogeneous Assertion-Based Verification for Medical Devices Development	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.publikation.seiten	211-216	de_DE
utue.personen.roh	Lämmermann, Stefan
utue.personen.roh	Pielawa, Lukas
utue.personen.roh	Burger, Andreas
utue.personen.roh	Schlemminger, Jan
utue.personen.roh	Ruf, Jürgen
utue.personen.roh	Kropf, Thomas
utue.personen.roh	Rosenstiel, Wolfgang
utue.personen.roh	Hein, Andreas
dcterms.isPartOf.ZSTitelID	Proceedings SASIMI	de_DE