國立虎尾科技大學 |

登入

回首頁

The inverse method = parametric veri...

Soulat, Romain.

The inverse method = parametric verification of real-time embedded systems /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	The inverse method/ Étienne André, Romain Soulat.
其他題名:	parametric verification of real-time embedded systems /
作者:	André, Etienne.
其他作者:	Soulat, Romain.
出版者:	London :ISTE ; : 2013.,
面頁冊數:	1 online resource (xviii, 150 p.) :ill. :
標題:	Embedded computer systems. -
電子資源:	http://onlinelibrary.wiley.com/book/10.1002/9781118569351
ISBN:	1118569350

The inverse method = 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:

562313
Embedded computer systems.

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

Dewey Class. No.: 006.22

The inverse method = parametric verification of real-time embedded systems /
LDR:01528cam a2200313Ka 4500 001 831593
003 OCoLC
005 20151014091134.0
006 m o d
007 cr |||||||||||
008 160215s2013 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 1059714
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 : $a Hoboken, N.J. : $b ISTE ; $c 2013. $b Wiley,
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 562313
650 0 $a Computer systems $x Verification. $3 574261
700 1 $a Soulat, Romain. $3 1059715
830 0 $a Focus series in computer engineering and IT. $3 1059716
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118569351

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別