The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineering and verification of complex computer-based systems (where complex means large, distributed and heterogeneous) in critical applications, with special emphasis on model-based approaches and industrial case-studies. Critical computer-based systems include real-time control, fly/brake-by-wire, on-line transactional and web servers, biomedical apparels, networked devices for telecommunications, environmental monitoring, infrastructure protection, etc.
M. Galster, A. Eberlein, and M. Moussavi. Systems, Man and Cybernetics, 2009. SMC 2009. IEEE International Conference on, page 2380--2385. (October 2009)
R. Bastide, D. Navarre, and P. Palanque. CHI '02 extended abstracts on Human factors in computing systems, page 516--517. Minneapolis, Minnesota, USA, ACM Press, (2002)
D. Rosca, S. Greenspan, M. Feblowitz, and C. Wild. Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on, (January 1997)
C. Wild, K. Maly, C. Zhang, C. Roberts, D. Rosca, and T. Taylor. TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994, (August 1994)
V. Sklenár, M. Radvanský, and M. Dobes. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 501-504. Berlin, Heidelberg, Springer-Verlag, (July 2007)
K. Wolff. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 250-266. Springer, (2005)
S. Göbel, M. Heidemann, U. Jasnoch, and G. Stumme. Hypermedia im Umweltschutz. 3. Workshop in Ulm 2000, Umwelt-Informatik aktuell, Bd. 24, page 169-179. Marburg, (2000)
K. Becker, G. Stumme, R. Wille, U. Wille, and M. Zickwolff. Knowledge Engineering and Knowledge Management. Methods, Models, and Tools., volume 1937 of LNAI, page 352-365. Heidelberg, Springer, (2000)
G. Stumme, and K. Wolff. Advances in Database Technologies. Proc. Intl. Workshop on Data Warehousing and, volume 1552 of LNCS, page 117-128. Heidelberg, Springer, (1999)