Hartel, P., T. Hartmann, J. Kusch, and G. Saake,
"Specifying Information System Dynamics in \sc TROLL",
Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 53-64, 1994.
Abstract
Schönhoff, M., and M. Kowsari,
"Specifiying the Remote Controlling of Valves in an Explosion Test Environment",
Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997: Springer, Berlin, LNCS 1313, pp. 201-220, 1997.
Abstract
Balke, W. - T., W. Kießling, and C. Unbehend,
"A Situation-aware Mobile Traffic Information System",
36th Hawaii International Conference on System Sciences (HICCS-36), Big Island, HI, USA, IEEE, 2003.
Abstract
Download: hicss03.pdf (1.18 MB)
Tönnies, S., B. Köhncke, P. Hennig, I. Brunkhorst, and W. - T. Balke,
"A Service Oriented Architecture for Personalized Universal Media Access",
Future Internet, vol. 3, no. 2: MDPI, pp. 87-116, 04/2011.
Download: Future-Internet-3(2).pdf (861.68 KB)