大葉大學圖書館 |

登入

回首頁

The inverse method[electronic resour...

André, Etienne.

The inverse method[electronic resource] :parametric verification of real-time embedded systems /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	006.22
書名/作者:	The inverse method : parametric verification of real-time embedded systems // Étienne André, Romain Soulat.
作者:	André, Etienne.
其他作者:	Soulat, Romain.
出版者:	London : : ISTE ;, 2013.
面頁冊數:	1 online resource (xviii, 150 p.) : : ill.
標題:	Embedded computer systems.
標題:	Computer systems - Verification.
ISBN:	1118569350
ISBN:	9781118569405 (electronic bk.)
ISBN:	1118569407 (electronic bk.)
ISBN:	9781118569351 (electronic bk.)
書目註:	Includes bibliographical references (p. 137-147) and index.
內容註:	Parametric timed automata -- The inverse method for parametric timed automata -- The inverse method in practice: application to case studies -- Behavioral cartography of timed automata -- Parameter synthesis for hybrid automata -- Application to the robustness analysis of scheduling problems -- Conclusion and perspectives -- Bibliography -- Index.
電子資源:	http://onlinelibrary.wiley.com/book/10.1002/9781118569351

The inverse method[electronic resource] :parametric verification of real-time embedded systems /
André, Etienne.

The inverse methodparametric verification of real-time embedded systems /[electronic resource] :Étienne André, Romain Soulat. - London :ISTE ;2013. - 1 online resource (xviii, 150 p.) :ill. - Focus series in computer engineering and IT. - Focus series in computer engineering and IT..

Includes bibliographical references (p. 137-147) and index.

Parametric timed automata -- The inverse method for parametric timed automata -- The inverse method in practice: application to case studies -- Behavioral cartography of timed automata -- Parameter synthesis for hybrid automata -- Application to the robustness analysis of scheduling problems -- Conclusion and perspectives -- Bibliography -- Index.

ISBN: 1118569350Subjects--Topical Terms:

404218
Embedded computer systems.

LC Class. No.: TK7895.E42 / .A53 2013eb

Dewey Class. No.: 006.22

The inverse method[electronic resource] :parametric verification of real-time embedded systems /
LDR:01528cam a2200313Ka 4500 001 437537
003 OCoLC
005 20151014091134.0
006 m o d
007 cr |||||||||||
008 160125s2013 enka ob 001 0 eng d
020 $a 1118569350
020 $a 9781118569405 (electronic bk.)
020 $a 1118569407 (electronic bk.)
020 $a 9781118569351 (electronic bk.)
020 $z 9781848214477
020 $z 1848214472
035 $a (OCoLC)828869668 $z (OCoLC)858283994
035 $a ocn828869668
040 $a N $b eng $c N $d YDXCP $d CUS $d DG1 $d IDEBK $d OCLCO $d UMI $d COO $d DEBSZ $d UKDOC $d OCLCQ $d OCLCF $d DEBBG
050 4 $a TK7895.E42 $b .A53 2013eb
082 0 4 $a 006.22 $2 23
100 1 $a André, Etienne. $3 624143
245 1 4 $a The inverse method $h [electronic resource] : $b parametric verification of real-time embedded systems / $c Étienne André, Romain Soulat.
260 $a London : $b ISTE ; $a Hoboken, N.J. : $b Wiley, $c 2013.
300 $a 1 online resource (xviii, 150 p.) : $b ill.
490 1 $a Focus series in computer engineering and IT
504 $a Includes bibliographical references (p. 137-147) and index.
505 0 $a Parametric timed automata -- The inverse method for parametric timed automata -- The inverse method in practice: application to case studies -- Behavioral cartography of timed automata -- Parameter synthesis for hybrid automata -- Application to the robustness analysis of scheduling problems -- Conclusion and perspectives -- Bibliography -- Index.
588 0 $a Print version record.
650 0 $a Embedded computer systems. $3 404218
650 0 $a Computer systems $x Verification. $3 624146
700 1 $a Soulat, Romain. $3 624144
830 0 $a Focus series in computer engineering and IT. $3 624145
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118569351

筆 0 讀者評論

多媒體

多媒體檔案
http://onlinelibrary.wiley.com/book/10.1002/9781118569351

評論

新增評論分享你的心得

Export

取書館別