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

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

Enregistré dans:

Détails bibliographiques
Auteur principal:	Drusinsky, Doron. (Auteur)
Support:	E-Book
Langue:	Anglais
Publié:	Burlington, MA, USA : Elsevier Science & Technology Books, 2006.
Sujets:	Computer software > Development. Formal methods (Computer science). UML (Computer science).
Autres localisations:	Voir dans le Sudoc
Accès en ligne:	Accès à l'E-book

Documents similaires

Object-Oriented Design with UML and Java
par: Barclay, Kenneth.
Publié: (2003)

Embedded systems security : practical methods for safe and secure software and systems development
par: Kleidermacher, David.
Publié: (2012)

Modélisation et spécification formelle des logiciels
par: Tremblay, Guy (1958-....).
Publié: (2006)

Cryptography for Developers
par: St. Denis, Tom (19..-....).
Publié: (2006)

DSP software development techniques for embedded and real-time systems
par: Oshana, Robert.

Software Design for Engineers and Scientists
par: Robinson, John Allen.

Trojans, Worms, and Spyware A Computer Security Professional's Guide to Malicious Code
par: Erbschloe, Michael (1951-....).

Tru64 UNIX Troubleshooting : Diagnosing and Correcting System Problems
par: Moore, Martin (1970-....).
Publié: (2002)

Object-oriented JavaScript : create scalable, reusable high-quality JavaScript applications and libraries
par: Stefanov, Stoyan.
Publié: (2008)

Software Development for Embedded Multi-core Systems A Practical Guide Using Embedded Intel Architecture
par: Domeika, Max.

The Basics of Hacking and Penetration Testing Ethical Hacking and Penetration Testing Made Easy
par: Engebretson, Patrick (1974-....).
Publié: (2013)

IPv6 Network Programming
par: Hagino, Jun-ichiro itojun.

Safari and WebKit Development for iPhone OS 3.0
par: Wagner, Richard.
Publié: (2009)

Construction et maintenance de logiciel : un point de vue pratique
par: Gabrini, Philippe J. (1940-....; informaticien).
Publié: (2006)

Co-verification of Hardware and Software for ARM SoC Design
par: Andrews, Jason.

Systems Science and Modeling for Ecological Economics
par: Voinov, Alexey.
Publié: (2008)

Building PHP applications with Symfony, CakePHP, and Zend Framework
par: Porebski, Bartosz.
Publié: (2011)

Virtualization Security Protecting Virtualized Environments
par: Shackleford, Dave.
Publié: (2012)

Visual usability : principles and practices for designing digital applications
par: Schlatter, Tania.
Publié: (2013)

Pervasive Information Architecture Designing Cross-Channel User Experiences
par: Resmini, Andrea.

Trusted Platform Module Basics : Using TPM in Embedded Systems
par: Kinney, Steven L..
Publié: (2006)

SQL Injection Attacks and Defense
par: Clarke, Justin.

Design patterns for embedded systems in C : an embedded software engineering Toolkit
par: Douglass, Bruce Powel.
Publié: (2011)

Software engineering for embedded systems methods, practical techniques, and applications
par: Oshana, Robert.
Publié: (2013)

Concise Encyclopedia of Computer Science
par: Reilly, Edwin D. (1932-....).

Debugging Embedded Microprocessor Systems
par: Ball, Stuart (1956-....).

Artificial Intelligence for the Internet of Everything.
par: Lawless, William.
Publié: (2019)

Private cloud computing : consolidation, virtualization, and service-oriented infrastructure
par: Smoot, Stephen R..
Publié: (2011)

Computer organization and design : the hardwaresoftware interface revised
par: Patterson, David A. (1947-....).

Hardware and Computer Organization : The Software Perspective
par: Berger, Arnold.
Publié: (2005)

Computational Mathematics : Models, Methods, and Analysis with MATLAB and MPI
par: White, Robert Ernest.
Publié: (2003)

IPv6 Socket API Extensions : Programmer's Guide
par: Li, Qing.
Publié: (2009)

Améliorer la maintenance du logiciel
par: April, Alain.

Perl Scripting for Windows Security Live Response, Forensic Analysis, and Monitoring
par: Carvey, Harlan.

Seven deadliest Microsoft attacks
par: Kraus, Rob.
Publié: (2010)

Securing the cloud : cloud computer security techniques and tactics
par: Winkler, Joachim R. (19..-....).
Publié: (2011)

Bluetooth Application Programming with the Java APIs
par: Thompson, Timothy J..

Learning Java by Building Android Games.
par: Horton, John (19..-....; informaticien).
Publié: (2015)

Heterogeneous computing with OpenCL : revised OpenCL 1.2 edition
par: Gaster, Benedict (19..-....).
Publié: (2012)

Handbook of network and system administration.
Publié: (2011)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1