Crossref Citations
                                  
                                    
                                    
                                      
                                                            This Book has been
                                        cited by the following publications. This list is generated based on data provided by Crossref.
                                     
                                   
                                  
                                        
                                          
                                                
                                                
                                                    
                                                    Moore, Brad J.
                                                  2008.
                                                  Distributed status monitoring and controlusing remote buffers and Ada 2005.
                                                  
                                                  
                                                  ACM SIGAda Ada Letters, 
                                                  Vol. 28, 
                                                  Issue. 3, 
                                                
                                                    p. 
                                                    109.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Alonso, Diego
                                                    
                                                    Vicente-Chicote, Cristina
                                                    
                                                    Pastor, Juan A.
                                                     and 
                                                    Álvarez, Bárbara
                                                  2008.
                                                  Reliable Software Technologies – Ada-Europe 2008.
                                                  
                                                  
                                                  
                                                  Vol. 5026, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    158.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Cheng, Jingde
                                                  2009.
                                                  Uncertainty Problem in Dynamic Slicing of Concurrent Programs.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    241.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Burns, Alan
                                                    
                                                    Wellings, Andy J.
                                                     and 
                                                    Zhang, Fengxiang
                                                  2009.
                                                  Reliable Software Technologies – Ada-Europe 2009.
                                                  
                                                  
                                                  
                                                  Vol. 5570, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    119.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Hakimipour, Niusha
                                                    
                                                    Strooper, Paul
                                                     and 
                                                    Wellings, Andy
                                                  2010.
                                                  TART: Timed-Automata to Real-Time Java Tool.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    299.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Cucinotta, Tommaso
                                                     and 
                                                    Faggioli, Dario
                                                  2010.
                                                  An exception based approach to timing constraints violations in real-time and multimedia applications.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    136.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Moore, Brad J.
                                                  2010.
                                                  Parallelism generics for Ada 2005 and beyond.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    41.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Moore, Brad J.
                                                  2010.
                                                  Parallelism generics for Ada 2005 and beyond.
                                                  
                                                  
                                                  ACM SIGAda Ada Letters, 
                                                  Vol. 30, 
                                                  Issue. 3, 
                                                
                                                    p. 
                                                    41.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Nahas, Mouaaz
                                                  2011.
                                                  Employing Two ‘Sandwich Delay’ Mechanisms to Enhance Predictability of Embedded Systems Which Use Time-Triggered Co-Operative Architectures.
                                                  
                                                  
                                                  Journal of Software Engineering and Applications, 
                                                  Vol. 04, 
                                                  Issue. 07, 
                                                
                                                    p. 
                                                    417.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Kotulski, Leszek
                                                    
                                                    Szpyrka, Marcin
                                                     and 
                                                    Sedziwy, Adam
                                                  2011.
                                                  Knowledge-Based and Intelligent Information and Engineering Systems.
                                                  
                                                  
                                                  
                                                  Vol. 6881, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    180.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Pour, Niusha Hakimi
                                                    
                                                    Strooper, Paul
                                                     and 
                                                    Wellings, Andy
                                                  2011.
                                                  A model‐based development approach for the verification of real‐time Java code.
                                                  
                                                  
                                                  Concurrency and Computation: Practice and Experience, 
                                                  Vol. 23, 
                                                  Issue. 13, 
                                                
                                                    p. 
                                                    1583.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Szpyrka, Marcin
                                                    
                                                    Matyasik, Piotr
                                                     and 
                                                    Mrówka, Rafał
                                                  2011.
                                                  Intelligent Decision Systems in Large-Scale Distributed Environments.
                                                  
                                                  
                                                  
                                                  Vol. 362, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    315.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Moore, Bradley J.
                                                  2011.
                                                  Stack safe parallel recursion with paraffin.
                                                  
                                                  
                                                  ACM SIGAda Ada Letters, 
                                                  Vol. 31, 
                                                  Issue. 3, 
                                                
                                                    p. 
                                                    27.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Dibble, Peter
                                                    
                                                    Hunt, James J.
                                                     and 
                                                    Wellings, Andy J.
                                                  2012.
                                                  Distributed, Embedded and Real-time Java Systems.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    129.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Masson, Damien
                                                     and 
                                                    Midonnet, Serge
                                                  2012.
                                                  Distributed, Embedded and Real-time Java Systems.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    45.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Matyasik, Piotr
                                                    
                                                    Szpyrka, Marcin
                                                    
                                                    Wypych, Michal
                                                     and 
                                                    Biernacki, Jerzy
                                                  2016.
                                                  Communication between agents in Alvis language.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    448.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                  2017.
                                                  Real‐Time Embedded Systems.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    127.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Erciyes, K.
                                                  2019.
                                                  Distributed Real-Time Systems.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    251.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Merkin-Janson, Leonid Al'bertovich
                                                    
                                                    Rezin, Ruslan Maratovich
                                                     and 
                                                    Vasilyev, Nikolay Konstantinovich
                                                  2020.
                                                  Architecture of the Formally-Verified Distributed Ledger System InnoChain.
                                                  
                                                  
                                                  Modeling and Analysis of Information Systems, 
                                                  Vol. 27, 
                                                  Issue. 4, 
                                                
                                                    p. 
                                                    472.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Merkin, Leonid
                                                    
                                                    Rezin, Ruslan
                                                     and 
                                                    Vasilyev, Nikolay
                                                  2021.
                                                  Informatics and Cybernetics in Intelligent Systems.
                                                  
                                                  
                                                  
                                                  Vol. 228, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    96.