The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Zoltán Micskei: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Zoltán Micskei, István Majzik
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. [Citation Graph (0, 0)][DBLP]
    DepCoS-RELCOMEX, 2006, pp:191-198 [Conf]
  2. Zoltán Micskei, István Majzik, Francis Tam
    Comparing Robustness of AIS-Based Middleware Implementations. [Citation Graph (0, 0)][DBLP]
    ISAS, 2007, pp:20-30 [Conf]
  3. István Majzik, Zoltán Micskei, Gergely Pintér
    Development of Model Based Tools to Support the Design of Railway Control Applications. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:430-435 [Conf]

  4. Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. [Citation Graph (, )][DBLP]


  5. Mobile Systems from a Validation Perspective: a Case Study. [Citation Graph (, )][DBLP]


  6. Tool Support for Engineering Certifiable Software. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002