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 31-40 of 62

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

An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications 

Kovács, Máté Amadé; P Lollini; Majzik, István; A Bondavalli (Association for Computing Machinery, 2008)
Thumbnail

A Resilient SIL 2 Driver Machine Interface for Train Control Systems 

A Ceccarelli; Majzik, István; D Iovino; F Caneschi; Pintér, Gergely; A Bondavalli (IEEE Computer Society Press, 2008)
Thumbnail

Formal Methods in the Evaluation of a Safe Driver Machine Interface 

Majzik, István; A Bondavalli; S Klapka; T K Madsen; D Iovino (L'Harmattan Kiadó, 2008)
Thumbnail

Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems 

P Lollini; L Montecchi; Magyar, Melinda; Majzik, István; A Bondavalli (L'Harmattan Kiadó, 2008)
Thumbnail

Automated Verification of Complex Behavioral Models Using the SAL Model Checker 

Sisak, Áron; Pintér, Gergely; Majzik, István (L'Harmattan Kiadó, 2008)
Thumbnail

Design and Evaluation of a Safe Driver Machine Interface 

A Bondavalli; A Ceccarelli; J Gronbaek; D Iovino; L Karna; S Klapka; T K Madsen; Magyar, Melinda; Majzik, István; A Salzo (2009)
Thumbnail

Idő- és eseményvezérelt kommunikáció beágyazott számítógépes rendszerekben 

Majzik, István; Péceli, Gábor (2004)
Thumbnail

Completeness and Consistency Analysis of UML Statechart Specifications 

Pap Zs; Majzik, István; Pataricza, András; Szegi A (SZIF-Universitas Kft., 2001)
Thumbnail

Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems 

Majzik, István; Domokos P; Magyar, Melinda (GZVB e.V., 2007)
Thumbnail

Design and Analysis of Fault Tolerant Architectures by Model Weaving 

Domokos P; Majzik, István (IEEE Computer Society Press, 2005)
  • 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 (62)
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 Issued2010 - 2020 (20)2000 - 2009 (32)1994 - 1999 (10)Has File(s)
Yes (62)

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