PSL and Formal Methods Filling the Verification Gap

dc.contributor.authorPichler, Michael
dc.date.accessioned2016-04-06T14:25:38Z
dc.date.available2016-04-06T14:25:38Z
dc.date.issued2003
dc.eventTechnology Leadership Day
dc.identifier.urihttp://hdl.handle.net/11654/17740
dc.spatialWinterthur
dc.titlePSL and Formal Methods Filling the Verification Gap
dc.type04B - Beitrag Konferenzschrift
dspace.entity.typePublication
fhnw.InventedHereYes
fhnw.affiliation.hochschuleHochschule für Technik und Umwelt FHNWde_CH
fhnw.affiliation.institutlnstitut für Sensorik und Elektronikde_CH
relation.isAuthorOfPublicationad1d9669-a477-4dd1-8f01-fed3a3a8f72a
relation.isAuthorOfPublication.latestForDiscoveryad1d9669-a477-4dd1-8f01-fed3a3a8f72a
Dateien
Sammlung
lnstitut für Sensorik und Elektronik