Home › Books › Technology & Engineering › Modeling and Verification Using UML Statecharts: A Working …
← PrevInternational Conference ... NextSelected Papers on Halfto... →
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking Buy on Amazon

https://www.ebooknetworking.net/books_detail-0750679492.html

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

AuthorDoron Drusinsky
PublisherNewnes
CategoryTechnology & Engineering
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇫🇷

Book Details

Author(s)Doron Drusinsky
PublisherNewnes
ISBN / ASIN0750679492
ISBN-139780750679497
CategoryTechnology & Engineering
MarketplaceFrance  🇫🇷

More Books in Technology & Engineering

Fourth Dimension in Building: Strategies for Avoiding Obsolescence (<i>Studies in Management of Building Technology:</i> A Series)
Fourth Dimension in Building: Strategies for Avoiding …
View
Design and Evaluation of Rigid and Flexible Pavements, 1990 (Transportation Research Record)
Design and Evaluation of Rigid and Flexible Pavements,…
View
Nuclear Nonproliferation: Status Of U.s. Efforts To Improve Nuclear Material Controls In Newly Independent States
Nuclear Nonproliferation: Status Of U.s. Efforts To Im…
View
Time-Domain Numerical Methods for Modelling Antennas, RF/Microwave and EMC/EMI Structures (Industrial Innovation)
Time-Domain Numerical Methods for Modelling Antennas, …
View
The Rise of the Standard Model: A History of Particle Physics from 1964 to 1979
The Rise of the Standard Model: A History of Particle …
View
Synthesis, Properties and Crystal Chemistry of Perovskite-Based Material (Ceramic Transactions Series)
Synthesis, Properties and Crystal Chemistry of Perovsk…
View
Error Propagation in Environmental Modelling with GIS (Research Monographs in GIS)
Error Propagation in Environmental Modelling with GIS …
View
Crops And Environmental Change: An Introduction To Effects Of Global Warming, Increasing Atmospheric CO2 And O3 Concentrations, And Soil Salinization On Crop Physiology And Yield
Crops And Environmental Change: An Introduction To Eff…
View
Multicarrier Modulation with Low PAR: Applications to DSL and Wireless (The Springer International Series in Engineering and Computer Science)
Multicarrier Modulation with Low PAR: Applications to …
View
International Conference on Advanced Phase Measurement Methods in Optics and Imaging (AIP Conference Proceedings / Accelerators, Beams, and Instrumentations)
International Conference on Advanced Phase Measurement…
View
Donate to EbookNetworking
International Confe...Prev
Selected Papers on ...Next