國立高雄大學圖資館 |

Language: English

Back

The inverse methodparametric verific...

André, Etienne.

The inverse methodparametric verification of real-time embedded systems /

Record Type:	Electronic resources : Monograph/item
Title/Author:	The inverse methodÉtienne André, Romain Soulat.
Reminder of title:	parametric verification of real-time embedded systems /
Author:	André, Etienne.
other author:	Soulat, Romain.
Published:	London :ISTE ;2013.
Description:	1 online resource (xviii, 150 p.) :ill.
Subject:	Embedded computer systems.
Online resource:	http://onlinelibrary.wiley.com/book/10.1002/9781118569351
ISBN:	1118569350

The inverse methodparametric 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:

184402
Embedded computer systems.

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

Dewey Class. No.: 006.22

The inverse methodparametric verification of real-time embedded systems /
LDR:01528cmm a2200313Ka 4500 001 467520
003 OCoLC
005 20151014091134.0
006 m o d
007 cr |||||||||||
008 160107s2013 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 722511
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 184402
650 0 $a Computer systems $x Verification. $3 285652
700 1 $a Soulat, Romain. $3 722512
830 0 $a Focus series in computer engineering and IT. $3 722513
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118569351