Walter Maydl

Publication Activity (10 Years)

Years Active: 2000-2004
Publications (10 Years): 0

University of Passau (PHD)

Education History

University of Passau

PHD

Publications

Walter Maydl
Model checking for component-based software development for embedded systems. IASTED Conf. on Software Engineering and Applications (2004)
Walter Maydl
Design Accompanying Analysis of Component-Based Embedded Software. CBSE (2004)
Walter Maydl
A novel component model for the synchronous dataflow paradigm. IASTED Conf. on Software Engineering (2004)
Walter Maydl, Bernhard Sick, Werner Grass
Towards a Specification Technique for Component-Based Measurement and Control Software for Embedded Systems. EUROMICRO (2002)
Walter Maydl, Bernhard Sick
Recurrent and Non-Recurrent Dynamic Network Paradigms: A Case Study. IJCNN (6) (2000)