M. Altunok, A. Franke, B. Gutsche, Markus Triestram.
2006
Daniel Sehlberg, Andreas Ermedahl, J. Gustafsson, B. Lisper, S. Wiegratz.
In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
2006
A. Franke, K. Kehr, F. Laermer, F. Reichenbach, A. Scheurle.
2006
S. Tasharofi, Sepand Ansari, M. Sirjani.
In: .
2006
J. Horkoff, E. Yu, Lin Liu.
In: .
2006
F. Ghassemi, N. N. bakhsh, B. T. Ladani, M. Sirjani.
In: 2006 2nd International Conference on Information & Communication Technologies.
2006
A. Cicchetti, D. D. Ruscio, Romina Eramo.
In: 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06).
2006
I. Crnkovic, K. Aleksic-Maslac, H. Jerkovic.
In: 28th International Conference on Information Technology Interfaces, 2006..
2006
Abstract:
In the research, education and in everyday practice, a need for and general understanding and a holistic approach is becoming more and more important. Still in concrete cases such approaches meet many challenges, mostly in form of misunderstanding between involved partners experts from different disciplines. Education in general does not provide training for such approach. This paper describes a c...
Ludwik Kuzniarz, J. Sourrouille, M. Staron.
In: .
2006
G. RodrÃguez-Navas, J. Proenza, H. Hansson.
In: 2006 IEEE International Workshop on Factory Communication Systems.
2006
Abstract:
Many distributed applications require a clock synchronization service. We have previously proposed a clock synchronization service for the Controller Area Network (CAN), which we have claimed to pr ......
A. Borg, Mikael Patel, K. Sandahl.
In: 14th IEEE International Requirements Engineering Conference (RE'06).
2006
Thomas Nolte, H. Hansson, L. L. Bello.
In: 2006 IEEE Conference on Emerging Technologies and Factory Automation.
2006