
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Author(s): Doron Drusinsky (Author)
Newnes | 2006 | English | 9780750679497 | 400 pages

Author(s): Doron Drusinsky (Author)
Newnes | 2006 | English | 9780750679497 | 400 pages

Author(s): Jos Weyers (Author), Matt Burrough (Author), Walter Belgers (Author), BandEAtoZ (Author), Nigel K. Tolley (Author)
No Starch | 2024 | English | 9781718502246 | 350 pages

Author(s): Angel Sola (Author)
No Starch | 2021 | English | 9781718500785 | 550 pages

Author(s): D.S.G. Pollock (Author)
Academic Inc | 1999 | English | 9780125609906 | 848 pages

Author(s): Dan B. Marghitu (Author)
Academic | 2012 | English | 9780124112797 | 796 pages

Author(s): Phiroz Bhagat (Author)
Elsevier Science | 2005 | English | 9780080445380 | 200 pages

Author(s): K. G. Swift (Author), J. D. Booker (Author)
Butterworth-Heinemann | 2013 | English | 9780080993607 | 456 pages

Author(s): Anatoli Torokhti (Author), Phil Howlett (Author)
Elsevier Science Co Inc | 1970 | English | 9780120748501 | 322 pages

Author(s): Peter Fratzl
Springer | 2010 | English | 9781441944818 | 524 pages

Author(s): Averill M. Law (Author)
McGraw Hill | 2024 | English | 9781264268245 | 688 pages