Vyzkoušejte nový nástroj s podporou AI
  
        
        Summon Research Assistant
        BETA
      
                    
  
      
    EFSM Model Construction Method for RTL Digital Circuit
                                      
                                            Li, Xiaochen,                              Zhao, Ruilian,                              Shang, Ying                              
Published in International Conference on Dependable Systems and Their Applications (Online) (01.08.2022)
                   
      
      
                                                  Published in International Conference on Dependable Systems and Their Applications (Online) (01.08.2022)
Get full text
              Conference Proceeding
          
              
          Modular supervisor synthesis for extended finite-state machines subject to controllability
                                      
                                            Malik, Robi,                              Teixeira, Marcelo                              
Published in 2016 13th International Workshop on Discrete Event Systems (WODES) (01.05.2016)
                   
      
      
                                                  Published in 2016 13th International Workshop on Discrete Event Systems (WODES) (01.05.2016)
Get full text
              Conference Proceeding
          
              
          An automated software reliability prediction system for safety critical software
                                      
                                            Li, Xiang,                              Mutha, Chetan,                              Smidts, Carol S.                              
Published in Empirical software engineering : an international journal (01.12.2016)
                   
      
      
                                                  Published in Empirical software engineering : an international journal (01.12.2016)
Get full text
              Journal Article
          
              
          Requirements language processing for the effective testing of real-time systems
                          
                               
                                                Published in                                                Software engineering notes
             (15.11.1978)                                            
                   
      
      
                                                  Get full text
              Journal Article