SMT-based verification of timed systems and software

SMT-based verification of timed systems and software

datePublished

• 2014

description

• Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta.
• Julkaisussa virheellisesti verkkoaineiston ISBN 978-952-60-5978-5.
• taulukkoja

identifier

• propertyID: FI-MELINDA value: 007008199

isbn

• 9789526059778

isPartOf

• Fennica
• Report : A

name

• SMT-based verification of timed systems and software

numberOfPages

• xviii, 113 sivua, 98 sivua useina numerointijaksoina

P60048

• <http://rdaregistry.info/termList/RDACarrierType/1049>

P60050

• <http://rdaregistry.info/termList/RDAMediaType/1007>

publication

• location: Helsinki organizer: Aalto University, School of Science, Department of Information and Computer Science

publisher

• Aalto University, School of Science, Department of Information and Computer Science