Author:
Kumar Barath,Niggemann Oliver,Schaefer Wilhelm,Jasperneite Juergen
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Computer Science;A. Pretschner,2005
2. John, K. H., Tiegelkamp, M.: IEC 61131-3 Programming Industrial Automation Systems. Springer, Berlin (2001) ISBN: 3-540677526
3. Kumar, B., Niggemann, O., Jasperneite, J.: Timed automata for modeling network traffic. In: 32nd Annual Conference on Artificial Intelligence (KI 2009), Paderborn, Germany (2009)
4. Khoumsi, A., Jron, T., Marchand, H.: Test cases generation for nondeterministic real-time systems. In: Formal Approaches for Testing Software (2003)
5. Lecture Notes in Computer Science;A. En-Nouaary,2003