Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 63 van 64 gevonden artikelen
 
 
  Verifying weak and strong k-step opacity in discrete-event systems
 
 
Titel: Verifying weak and strong k-step opacity in discrete-event systems
Auteur: Balun, Jiří
Masopust, Tomáš
Verschenen in: Automatica
Paginering: Jaargang 155 () nr. C pagina's p.
Jaar: 2023
Inhoud:
Uitgever: Elsevier Ltd
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 63 van 64 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland