Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
(eBook)
Author
Contributors
Published
Burlington, MA : Newnes, c2006.
Physical Desc
xii, 306 pages : ill.
Status
More Details
Format
eBook
Language
English
Notes
Bibliography
Includes bibliographical references (p. 295-301) and index.
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Description
Loading Description...
Also in this Series
Checking series information...
Citations
APA Citation, 7th Edition (style guide)
Drusinsky, D. (2006). Modeling and verification using UML statecharts: a working guide to reactive system design, runtime monitoring, and execution-based model checking . Newnes.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Drusinsky, Doron. 2006. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking. Newnes.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Drusinsky, Doron. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking Newnes, 2006.
MLA Citation, 9th Edition (style guide)Drusinsky, Doron. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking Newnes, 2006.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
7d846317-6428-7719-8b8b-cb3790ff809f-eng
Grouping Information
| Grouped Work ID | 7d846317-6428-7719-8b8b-cb3790ff809f-eng |
|---|---|
| Full title | modeling and verification using uml statecharts a working guide to reactive system design runtime monitoring and execution based model checking |
| Author | drusinsky doron |
| Grouping Category | book |
| Last Update | 2022-06-07 21:23:19PM |
| Last Indexed | 2024-06-15 04:07:33AM |
Book Cover Information
| Image Source | default |
|---|---|
| First Loaded | Apr 1, 2023 |
| Last Used | May 20, 2024 |
Marc Record
| First Detected | Aug 09, 2021 11:59:37 AM |
|---|---|
| Last File Modification Time | Nov 22, 2021 07:40:48 AM |
MARC Record
| LEADER | 01842nam a22004094a 4500 | ||
|---|---|---|---|
| 001 | EBC294269 | ||
| 003 | MiAaPQ | ||
| 006 | m E | | ||
| 007 | cr cn||||||||| | ||
| 008 | 060214s2006 maua sb 001 0beng | ||
| 010 | |z 2006005265 | ||
| 020 | |z 0750679492 (alk. paper) | ||
| 035 | |a (Sirsi) EBC294269 | ||
| 035 | |a (Sirsi) EBC294269 | ||
| 035 | |a (MiAaPQ)EBC294269 | ||
| 035 | |a (Au-PeEL)EBL294269 | ||
| 035 | |a (CaPaEBR)ebr10186222 | ||
| 035 | |a (CaONFJC)MIL105218 | ||
| 035 | |a (OCoLC)476057640 | ||
| 040 | |a MiAaPQ|c MiAaPQ|d MiAaPQ | ||
| 050 | 4 | |a QA76.76.D47|b D78 2006 | |
| 082 | 0 | 4 | |a 005.1/17|2 22 |
| 100 | 1 | |a Drusinsky, Doron. | |
| 245 | 1 | 0 | |a Modeling and verification using UML statecharts|h [eBook] :|b a working guide to reactive system design, runtime monitoring, and execution-based model checking /|c Doron Drusinsky. |
| 260 | |a Burlington, MA :|b Newnes,|c c2006. | ||
| 300 | |a xii, 306 p. :|b ill. | ||
| 504 | |a Includes bibliographical references (p. 295-301) and index. | ||
| 533 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
| 650 | 0 | |a UML (Computer science) | |
| 650 | 0 | |a Formal methods (Computer science) | |
| 650 | 0 | |a Computer software|x Development. | |
| 655 | 4 | |a Electronic books. | |
| 710 | 2 | |a ProQuest (Firm) | |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=294269|x Yavapai College|y Yavapai College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=294269|x Prescott College|y Prescott College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=294269|x Yavapai Library Network|y All other users click here to access |
| 945 | |a E-Book | ||
