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 16 van 37 gevonden artikelen
 
 
  Evaluation of visual property specification languages based on practical model-checking experience
 
 
Titel: Evaluation of visual property specification languages based on practical model-checking experience
Auteur: Pakonen, Antti
Buzhinsky, Igor
Vyatkin, Valeriy
Verschenen in: Journal of systems and software
Paginering: Jaargang 216 () nr. C pagina's p.
Jaar: 2024
Inhoud:
Uitgever: The Authors
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 16 van 37 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland