|
Search the dblp DataBase
Zoltán Micskei:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. [Citation Graph (, )][DBLP]
Mobile Systems from a Validation Perspective: a Case Study. [Citation Graph (, )][DBLP]
Tool Support for Engineering Certifiable Software. [Citation Graph (, )][DBLP]
Search in 0.093secs, Finished in 0.094secs
|