✦ LIBER ✦

A monitor generation method for formal monitor-based verification considering input constraints

✍ Scribed by Yosuke Kakiuchi; Akira Kitajima; Kiyoharu Hamaguchi; Toshinobu Kashiwabara

Book ID: 102160414
Publisher: John Wiley and Sons
Year: 2007
Tongue: English
Weight: 325 KB
Volume: 90
Category: Article
ISSN: 1042-0967
DOI: 10.1002/ecjc.20360

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

AN INPUT/OUTPUT-BASED PROCEDURE FOR FULL

AN INPUT/OUTPUT-BASED PROCEDURE FOR FULLY EVALUATING AND MONITORING DYNAMIC PROPERTIES OF STRUCTURAL SYSTEMS VIA A SUBSPACE IDENTIFICATION METHOD

✍ H. XIAO; O.T. BRUHNS; H. WALLER; A. MEYERS 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 363 KB

Dynamic behaviour of complex structural systems may be modelled by a system of second order linear ordinary di!erential equations, i.e., Mw K (t)#Dw (t)#Sw(t)"f (t), by means of either structural analysis for "nite degree-of-freedom systems or discretization procedures (e.g., FE methods) for continu

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Volume 7609 || A Generic Platform for Model-Based Regression Testing

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 522 KB

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic

[IEEE 2011 IEEE Conference on Smart Meas

[IEEE 2011 IEEE Conference on Smart Measurements for Future Grids (SMFG) - Bologna, Italy (2011.11.14-2011.11.16)] 2011 IEEE International Conference on Smart Measurements of Future Grids (SMFG) Proceedings - A method for estimating and monitoring the power generated by a photovoltaic module based on supervised adaptive neural networks

✍ Brofferio, Sergio C.; Antonini, Alessio; Galimberti, Gianluca; Galeri, Dario 📂 Article 📅 2011 🏛 IEEE ⚖ 902 KB