Home › Biblio

Biblio

Export 2 results:
Sort by: Author Keyword [ Title (Asc)] Type Year
Filters: Author is Krone, M.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
Krone, M., M. Kowsari, P. Hartel, G. Denker, and H. - D. Ehrich, "Developing an Information System Using TROLL: an Application Field Study", Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996. Abstract  Download: 1996CAiSE.pdf (438.58 KB)
I
Hartel, P., G. Denker, M. Kowsari, M. Krone, and H. - D. Ehrich, "Information systems modelling with TROLL formal methods at work", Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997. Abstract  Download: 1997InfSysAtWork.pdf (846.73 KB)