東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ subject:"Computer systems- Verification." ]

切換: 標籤 | MARC模式 | ISBD

The inverse method = parametric veri...

André, Etienne.

FindBook

Google Book

Amazon

博客來

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.
內容註:	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.
標題:	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:

582088
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:01528cmm a2200313Ka 4500 001 2003231
003 OCoLC
005 20151014091134.0
006 m o d
007 cr |||||||||||
008 151223s2013 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 2148342
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 582088
650 0 $a Computer systems $x Verification. $3 907568
700 1 $a Soulat, Romain. $3 2148343
830 0 $a Focus series in computer engineering and IT. $3 2148344
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118569351