Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
Search 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • Search
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • 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 11-20 of 40

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

Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems 

Majzik, István; G Horányi (TUT Press, 2011)
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

Model-based Integration, Execution and Certification of Development Tool-chains 

Polgár, Balázs; Ráth, István Zoltán; Szatmári, Zoltán; Adam Horvath; Majzik, István (2009)
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

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)
  • 1
  • 2
  • 3
  • 4

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 CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

Author
Majzik, István (40)
Pataricza, András (10)A Bondavalli (7)Domokos P (5)Magyar, Melinda (4)Polgár, Balázs (4)Varró, Dániel (4)Csertán Gy (3)D Iovino (3)Hohl W (3)... View MoreDate Issued2010 - 2011 (6)2000 - 2009 (24)1994 - 1999 (10)Has File(s)Yes (40)

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