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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: André, Etienne
Άλλοι συγγραφείς: Soulat, Romain
Μορφή: Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: London : ISTE ; 2013.
Hoboken, N.J. : Wiley, 2013.
Σειρά:Focus series in computer engineering and IT.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03082nam a2200733 4500
001 ocn828869668
003 OCoLC
005 20170124070026.3
006 m o d
007 cr cnu---unuuu
008 130304s2013 enka ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d YDXCP  |d CUS  |d DG1  |d IDEBK  |d OCLCO  |d UMI  |d COO  |d DEBSZ  |d UKDOC  |d OCLCQ  |d OCLCF  |d DEBBG  |d OCLCQ  |d GrThAP 
019 |a 858283994 
020 |a 9781118569351 
020 |a 1118569350 
020 |a 9781118569405  |q (electronic bk.) 
020 |a 1118569407  |q (electronic bk.) 
020 |a 9781118569351  |q (electronic bk.) 
020 |z 9781848214477 
020 |z 1848214472 
029 1 |a AU@  |b 000051629240 
029 1 |a AU@  |b 000052007322 
029 1 |a AU@  |b 000052334876 
029 1 |a DEBBG  |b BV041432418 
029 1 |a DEBBG  |b BV041908867 
029 1 |a DEBSZ  |b 398283346 
029 1 |a DKDLA  |b 820120-katalog:000655893 
029 1 |a GBVCP  |b 785371818 
029 1 |a NZ1  |b 15022303 
029 1 |a NZ1  |b 15340494 
029 1 |a DEBBG  |b BV043395553 
035 |a (OCoLC)828869668  |z (OCoLC)858283994 
037 |a CL0500000291  |b Safari Books Online 
050 4 |a TK7895.E42  |b .A53 2013eb 
072 7 |a COM  |x 000000  |2 bisacsh 
082 0 4 |a 006.22  |2 23 
049 |a MAIN 
100 1 |a André, Etienne. 
245 1 4 |a The inverse method :  |b parametric verification of real-time embedded systems /  |c Étienne André, Romain Soulat. 
264 1 |a London :  |b ISTE ;  |c 2013. 
264 1 |a Hoboken, N.J. :  |b Wiley,  |c 2013. 
300 |a 1 online resource (xviii, 150 pages) :  |b illustrations. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Focus series in computer engineering and IT 
504 |a Includes bibliographical references (pages 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. 
650 0 |a Computer systems  |x Verification. 
650 4 |a Embedded computer systems. 
650 4 |a Computer systems  |x Verification. 
650 7 |a COMPUTERS  |x General.  |2 bisacsh 
650 7 |a Computer systems  |x Verification.  |2 fast  |0 (OCoLC)fst01750859 
650 7 |a Embedded computer systems.  |2 fast  |0 (OCoLC)fst00908298 
650 7 |a Embedded computer systems.  |2 local 
650 7 |a Computer systems / Verification.  |2 local 
655 4 |a Electronic books. 
700 1 |a Soulat, Romain. 
776 0 8 |i Print version:  |a André, Étienne.  |t Inverse method.  |d London : ISTE ; Hoboken, N.J. : Wiley, 2013  |z 9781848214477  |w (DLC) 2012953075  |w (OCoLC)828037066 
830 0 |a Focus series in computer engineering and IT. 
856 4 0 |u https://doi.org/10.1002/9781118569351  |z Full Text via HEAL-Link 
994 |a 92  |b DG1