dblp.uni-trier.dewww.uni-trier.de

Mark Saaltink Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
10EESteve Michell, Mark Saaltink: Guidance on the Use of Ada95 in High Integrity Systems. Ada-Europe 1998: 276-287
9EEStephen Michell, Mark Saaltink, Brian A. Wichmann: Looking into Safety with the Safety and Security Rapporteur Group. SIGAda 1998: 7-11
1997
8 Mark Saaltink: The Z/EVES System. ZUM 1997: 72-85
1996
7EEDan Craigen, Mark Saaltink, Steve Michell: Ada 95 and Critical Systems: An Analytical Approach. Ada-Europe 1996: 171-182
1993
6EEMark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels: An EVES Data Abstraction Example. FME 1993: 578-596
5 Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels: The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 349-373
1992
4EEDan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink: Eves System Description. CADE 1992: 771-775
1991
3EEDan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink: EVES: An Overview. VDM Europe (1) 1991: 389-405
2 Mark Saaltink: Z and Eves. Z User Workshop 1991: 223-242
1988
1 Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, A. Neilson, Bill Pase, Mark Saaltink: m-EVES: A Tool for Verifying Software. ICSE 1988: 324-333

Coauthor Index

1Dan Craigen [1] [3] [4] [5] [6] [7]
2Sentot Kromodimoeljo [1] [3] [4] [5] [6]
3Irwin Meisels [1] [3] [4] [5] [6]
4Stephen Michell [9]
5Steve Michell [7] [10]
6A. Neilson [1]
7Bill Pase [1] [3] [4] [5] [6]
8Brian A. Wichmann [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)