000 | 03488nam a22005055i 4500 | ||
---|---|---|---|
999 |
_c12343 _d12343 |
||
001 | 978-3-319-47016-0 | ||
003 | DE-He213 | ||
005 | 20211206100507.0 | ||
008 | 161107s2017 gw | s |||| 0|eng d | ||
020 | _a9783319470160 | ||
040 | _cAIKTC-KRRC | ||
041 | _aENG | ||
072 | 7 |
_aTJFC _2bicssc |
|
072 | 7 |
_aTEC008010 _2bisacsh |
|
072 | 7 |
_aTJFC _2thema |
|
082 | 0 | 4 |
_a621.3815 _223 |
100 | 1 |
_aZhan, Naijun. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
245 | 1 | 0 |
_aFormal Verification of Simulink/Stateflow Diagrams _h[electronic resource] : _bA Deductive Approach / |
250 | _a1st ed. 2017. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
300 |
_aXV, 258 p. 74 illus., 60 illus. in color. _bCard Paper |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
520 | _aThis book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work. | ||
650 | 0 |
_aEXTC Engineering _94619 |
|
653 | _aMicroprocessors. | ||
653 | _aProcessor Architectures. | ||
653 | _aElectronic Circuits and Devices. | ||
700 | 1 |
_aWang, Shuling. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
700 | 1 |
_aZhao, Hengjun. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319470146 |
776 | 0 | 8 |
_iPrinted edition: _z9783319470153 |
776 | 0 | 8 |
_iPrinted edition: _z9783319836386 |
856 | 4 | 0 |
_uhttps://doi.org/10.1007/978-3-319-47016-0 _zClick here to access eBook in Springer Nature platform. (Within Campus only.) |
942 |
_cEBOOKS _2ddc |