Languages
          
        
        
      Soulat, Romain.
Overview
            | Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    The inverse method DUP_1 = parametric verification of real-time embedded systems /
                  
                  by: 
                  Soulat, Romain.; André, Etienne.
                  (Language materials, printed)
                  
                  
                
                  
                    The inverse method = parametric verification of real-time embedded systems /
                  
                  by: 
                  Soulat, Romain.; André, Etienne.
                  (Language materials, printed)
                  
                  
                
                  
                    Control of switching systems by invariance analysis = application to power electronics /
                  
                  by: 
                  Fribourg, Laurent, (1957-); Wiley Online Library (Online service); Soulat, Romain.
                  (Language materials, printed)