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

Tse-Min Lin

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

2007
4EEAlan Burns, Tse-Min Lin: An engineering process for the verification of real-time systems. Formal Asp. Comput. 19(1): 111-136 (2007)
2003
3EETse-Min Lin, John A. McDermid: A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe 2003: 309-321
2EEAlan Burns, Tse-Min Lin: Adding Temporal Annotations and Associated Verification to Ravenscar Profile. Ada-Europe 2003: 80-91
2000
1 Tse-Min Lin, John A. McDermid: (True) Polymorphism in SPARK2000. Ada-Europe 2000: 252-265

Coauthor Index

1Alan Burns [2] [4]
2John A. McDermid [1] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)