Result Details
Design and Verification of Real-Time UML System Models
        RÁB, J. Design and Verification of Real-Time UML System Models. Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003. p. 311-314.  ISBN: 0-08-044130-0.
    
                Type
            
        
                conference paper
            
        
                Language
            
        
                English
            
        
            Authors
            
        
                Ráb Jaroslav, Ing., FIT (FIT)
            
        
                    Abstract
            
        The paper presents a methodology for real-time systems design including related verification technique, and their capability for verification of real-time requirements with time-bounded constraints.
                Keywords
            
        modeling, verification, real-time computer systems
                Published
            
            
                    2003
                    
                
            
                    Pages
                
            
                        311–314
                
            
                        Proceedings
                
            
                    Programmable Devices and Systems 2003
                
            
                    Series
                
            
                    IFAC Proceedings, Pergamon
                
            
                    Conference
                
            
                    IFAC Workshop on Programmable Devices and Systems
                
            
                    ISBN
                
            
                    0-08-044130-0
                
            
                    Publisher
                
            
                    Elsevier Science
                
            
                    Place
                
            
                    Kidlington, Oxford
                
            
                    BibTeX
                
            @inproceedings{BUT16901,
  author="Jaroslav {Ráb}",
  title="Design and Verification of Real-Time UML System Models",
  booktitle="Programmable Devices and Systems 2003",
  year="2003",
  series="IFAC Proceedings, Pergamon",
  pages="311--314",
  publisher="Elsevier Science",
  address="Kidlington, Oxford",
  isbn="0-08-044130-0"
}
                Projects
            
        
        
            
        
    
    
        Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed
            
        
                Research groups
            
        
                Departments