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

None

Saved in:
Bibliographic Details
Main Authors: Huzar, Zbigniew, Walkowiak, Anita
Format: Electronic Book Chapter
Language:English
Published: IntechOpen 2012
Subjects:
Online Access:https://www.intechopen.com/chapters/35318
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1839567159917805568
author Huzar, Zbigniew
Walkowiak, Anita
author_facet Huzar, Zbigniew
Walkowiak, Anita
author_sort Huzar, Zbigniew
collection InTech Open eBooks
description None
doi_str_mv 10.5772/38015
first_indexed 2025-08-04T22:52:33Z
format Electronic
Book Chapter
fullrecord <oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><identifier>InTech-35318</identifier><datestamp>2012-04-11</datestamp> <dc:title>Specification and Validation of Real-Time Systems Using UML Sequence Diagrams</dc:title> <dc:creator>Zbigniew Huzar</dc:creator> <dc:creator>Anita Walkowiak</dc:creator> <dc:subject>Physical Sciences, Engineering and Technology</dc:subject> <dc:description>None</dc:description> <dc:publisher>IntechOpen</dc:publisher> <dc:date>2012-04-11</dc:date> <dc:type>Chapter, Part Of Book</dc:type> <dc:identifier>https://www.intechopen.com/chapters/35318</dc:identifier> <dc:identifier>doi:10.5772/38015</dc:identifier> <dc:language>en</dc:language> <dc:relation>ISBN:978-953-51-0510-7</dc:relation> <dc:rights>https://creativecommons.org/licenses/by/3.0/</dc:rights> <dc:source>https://www.intechopen.com/books/1921 ; Real-Time Systems, Architecture, Scheduling, and Application</dc:source> </oai_dc:dc>
id InTech-35318
institution Matheson Library
isbn 978-953-51-0510-7
language English
last_indexed 2025-08-04T22:52:33Z
publishDate 2012
publisher IntechOpen
record_format intech
spelling InTech-353182012-04-11 Specification and Validation of Real-Time Systems Using UML Sequence Diagrams Zbigniew Huzar Anita Walkowiak Physical Sciences, Engineering and Technology None IntechOpen 2012-04-11 Chapter, Part Of Book https://www.intechopen.com/chapters/35318 doi:10.5772/38015 en ISBN:978-953-51-0510-7 https://creativecommons.org/licenses/by/3.0/ https://www.intechopen.com/books/1921 ; Real-Time Systems, Architecture, Scheduling, and Application
spellingShingle Physical Sciences, Engineering and Technology
Huzar, Zbigniew
Walkowiak, Anita
Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
title Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
title_full Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
title_fullStr Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
title_full_unstemmed Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
title_short Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
title_sort specification and validation of real time systems using uml sequence diagrams
topic Physical Sciences, Engineering and Technology
url https://www.intechopen.com/chapters/35318
work_keys_str_mv AT huzarzbigniew specificationandvalidationofrealtimesystemsusingumlsequencediagrams
AT walkowiakanita specificationandvalidationofrealtimesystemsusingumlsequencediagrams