國立虎尾科技大學 |

Language: English

Back

The inverse method DUP_1 = parametri...

Soulat, Romain.

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	The inverse method DUP_1/ É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 method DUP_1 = parametric verification of real-time embedded systems /
André, Etienne.

The inverse method DUP_1parametric 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 DUP_1 = parametric verification of real-time embedded systems /
LDR:01534cam a2200313Ka 4500 001 832740
003 OCoLC
005 20151014091134.0
006 m o d
007 cr |||||||||||
008 160127s2013 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 DUP_1 $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

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library