Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
The inverse methodparametric verific...
~
André, Etienne.
The inverse methodparametric verification of real-time embedded systems /
Record Type:
Electronic resources : Monograph/item
Title/Author:
The inverse methodÉtienne André, Romain Soulat.
Reminder of title:
parametric verification of real-time embedded systems /
Author:
André, 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 /
André, Etienne.
The inverse method
parametric verification of real-time embedded systems /[electronic resource] :Étienne André, 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
André, Etienne.
$3
722511
245
1 4
$a
The inverse method
$h
[electronic resource] :
$b
parametric verification of real-time embedded systems /
$c
Étienne André, 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
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000115246
電子館藏
1圖書
電子書
EB TK7895.E42 A53 2013
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://onlinelibrary.wiley.com/book/10.1002/9781118569351
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login