Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
Search 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Search
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 41-50 of 64

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Verification of UML Statechart Models of Embedded Systems 

Darvas A; Majzik, István; Benyó, Balázs István (Brno University of Technology, 2002)
Thumbnail

Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation 

Domokos P; Majzik, István (Gesellschaft für Informatik, 2006)
Thumbnail

Model Checking of Replication Management 

Majzik, István; Darvas Á (LAAS-CNRS, 2002)
Thumbnail

Dependability Modeling Using Aspect Weaving Techniques 

Majzik, István; Domokos P (Springer, 2005)
Thumbnail

Completeness and Consistency Analysis of UML Statechart Specifications 

Pap Zs; Majzik, István; Pataricza, András; Szegi A (BME VIK TTT, 2000)
Thumbnail

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker 

Latella D; Majzik, István; Massink M (1999)
Thumbnail

Hierarchical Checking of Multiprocessors Using Watchdog Processors 

Majzik, István; Pataricza, András; Cin M Dal; Hohl W; Hönig J; Sieh V (Springer, 1994)
Thumbnail

Towards a Formal Operational Semantics of UML Statechart Diagrams 

Latella D; Majzik, István; Massink M (Kluwer Academic Publishers, 1999)
Thumbnail

Reachability and Timing Analysis in Data Flow Networks: A Case Study 

Antal B; Bondavalli A; Csertán Gy; Majzik, István; Simoncini L (IEEE Computer Society Press, 1996)
Thumbnail

Hardware Accelerators for Petri-net Analysis 

Csertán Gy; Majzik, István; Pataricza, András; Allmaier S C; Hohl W (Univ. Wien, 1998)
  • 1
  • . . .
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

Author
Majzik, István (64)
Pataricza, András (10)A Bondavalli (7)Szatmári, Zoltán (6)Domokos P (5)Micskei, Zoltán (5)Oláh, János (5)Magyar, Melinda (4)Polgár, Balázs (4)Varró, Dániel (4)... View MoreDate Issued2020 - 2023 (3)2010 - 2019 (19)2000 - 2009 (32)1994 - 1999 (10)Has File(s)
Yes (64)

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV