Dan Craigen

发表

Dan Craigen, D. Craigen, 1991, [1991 Proceedings] 13th International Conference on Software Engineering.
Dan Craigen, Susan L. Gerhart, Ted Ralston, 1993, FME.
Sentot Kromodimoeljo, Dan Craigen, Mark Saaltink, 1995 .
Sentot Kromodimoeljo, Dan Craigen, Mark Saaltink, 1988, Proceedings. [1989] 11th International Conference on Software Engineering.
Dan Craigen, 1995 .
Dan Craigen, Mark Saaltink, D. Craigen, 1996 .
Sentot Kromodimoeljo, Dan Craigen, Mark Saaltink, 1993, FME.
Nancy G. Leveson, Jonathan P. Bowen, Victoria Stavridou, 1999 .
Dan Craigen, Mark Saaltink, D. Craigen, 2004 .
Dan Craigen, Susan L. Gerhart, Ted Ralston, 1993, Proceedings of 1993 15th International Conference on Software Engineering.
Dan Craigen, Ted Ralston, Susan Gerhart, 1995 .
Dan Craigen, Mark Saaltink, 1985, SOEN.
Stefan Wittmann, Robin E. Bloomfield, Markus Ullmann, 2000, SAFECOMP.
Dan Craigen, Susan L. Gerhart, Ted Ralston, 1994, IEEE Software.
Dan Craigen, D. Craigen, 1999, SPIN.
Dan Craigen, Michael Thomas, Arthur Low, 2015 .
Sentot Kromodimoeljo, Dan Craigen, Mark Saaltink, 1993, Functional Programming, Concurrency, Simulation and Automated Reasoning.
Dan Craigen, Mark Saaltink, Irwin Meisels, 1999 .
Dan Craigen, Karen Summerskill, D. Craigen, 1990, Workshops in Computing.
Mika Westerlund, Dan Craigen, Tony Bailetti, 2019, Advanced Methodologies and Technologies in System Security, Information Privacy, and Forensics.
Dan Craigen, 1995 .
Sentot Kromodimoeljo, Dan Craigen, Mark Saaltink, 1992, CADE.
Peter Y. A. Ryan, Dan Craigen, 1991, ICSE '91.
Dan Craigen, Susan L. Gerhart, Ted Ralston, 1992, Z User Workshop.
Dan Craigen, 1995 .
Dan Craigen, Susan L. Gerhart, Ted Ralston, 1994, IEEE Software.
Dan Craigen, 1993, Formal Methods in Systems Engineering.
Michael Weiss, Dan Craigen, Steven Muegge, 2020, EuroPLoP.
Dan Craigen, 1984, 1984 IEEE Symposium on Security and Privacy.
Dan Craigen, Susan L. Gerhart, Ted Ralston, 1993, IEEE Trans. Software Eng..
Dan Craigen, Mark Saaltink, D. Craigen, 1991 .
Dan Craigen, Stephen Michell, Mark Saaltink, 1997 .
Sentot Kromodimoeljo, Dan Craigen, Mark Saaltink, 1991, VDM Europe.
Dan Craigen, D. Craigen, 1985, SOEN.
Dan Craigen, Susan L. Gerhart, Ted Ralston, 1995, AMAST.
Dan Craigen, Mark Saaltink, Steve Michell, 1996, Ada-Europe.
Dan Craigen, D. Craigen, Sentot Kromodimoeljo, 2007 .
Dan Craigen, Nadia Diakun-Thibault, D. Craigen, 2014 .