Open access peer-reviewed chapter

Specification and Validation of Real-Time Systems Using UML Sequence Diagrams

By Zbigniew Huzar and Anita Walkowiak

Submitted: June 10th 2011Reviewed: February 21st 2012Published: April 11th 2012

DOI: 10.5772/38015

Downloaded: 3201

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Zbigniew Huzar and Anita Walkowiak (April 11th 2012). Specification and Validation of Real-Time Systems Using UML Sequence Diagrams, Real-Time Systems, Architecture, Scheduling, and Application, Seyed Morteza Babamir, IntechOpen, DOI: 10.5772/38015. Available from:

chapter statistics

3201total chapter downloads

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

Construction of Real-Time Oracle Using Timed Automata

By Seyed Morteza Babamir and Mehdi Borhani Dehkordi

Related Book

First chapter

Introduction to Infrared Spectroscopy

By Theophile Theophanides

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More About Us