Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             6 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A component framework for system modeling based on high-level replacement systems Ehrig, Hartmut
2004
3 2 p. 114-135
artikel
2 A method for describing the syntax and semantics of UML statecharts Jin, Yan
2004
3 2 p. 150-163
artikel
3 Automated formal verification of visual modeling languages by model checking Varró, Dániel
2004
3 2 p. 85-113
artikel
4 Introductory paper Bottoni, Paolo
2004
3 2 p. 83-84
artikel
5 Scenario animation for visual behavior models: A generic approach Ermel, Claudia
2004
3 2 p. 164-177
artikel
6 Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference Swoboda, Nik
2004
3 2 p. 136-149
artikel
                             6 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland