Martin Kardos (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2 Martin Kardos, Ulrich Nickel: ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction. Abstract State Machines 2003: 416

1 Holger Giese, Martin Kardos, Ulrich Nickel: Towards Design Verification and Validation at Multiple Levels of Abstraction. DIPES 2002: 71-80

Selection of 2 from 8 records - Martin Kardos has 6 coauthors

2		Martin Kardos, Ulrich Nickel: ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction. Abstract State Machines 2003: 416
1		Holger Giese, Martin Kardos, Ulrich Nickel: Towards Design Verification and Validation at Multiple Levels of Abstraction. DIPES 2002: 71-80