Tool supported real-time system verification with combination of abstraction/deduction and model checking

Research output: Book/anthology/thesis/reportReportResearchpeer-review

Original languageEnglish
Publication statusPublished - Nov 2007

Cite this

@book{3b243c5757fb419aaa654bf26ebc4a4c,
title = "Tool supported real-time system verification with combination of abstraction/deduction and model checking",
author = "Eun-Young Kang",
year = "2007",
month = "11",
language = "English",

}

Tool supported real-time system verification with combination of abstraction/deduction and model checking. / Kang, Eun-Young.

2007.

Research output: Book/anthology/thesis/reportReportResearchpeer-review

TY - RPRT

T1 - Tool supported real-time system verification with combination of abstraction/deduction and model checking

AU - Kang, Eun-Young

PY - 2007/11

Y1 - 2007/11

UR - https://tel.archives-ouvertes.fr/tel-00195096

M3 - Report

BT - Tool supported real-time system verification with combination of abstraction/deduction and model checking

ER -