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

4 EE Alan Burns, Tse-Min Lin: An engineering process for the verification of real-time systems. Formal Asp. Comput. 19(1): 111-136 (2007)

2003

3 EE Tse-Min Lin, John A. McDermid: A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe 2003: 309-321

2 EE Alan 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

2007
4	EE	Alan Burns, Tse-Min Lin: An engineering process for the verification of real-time systems. Formal Asp. Comput. 19(1): 111-136 (2007)
2003
3	EE	Tse-Min Lin, John A. McDermid: A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe 2003: 309-321
2	EE	Alan 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

1 Alan Burns [2] [4]

2 John A. McDermid [1] [3]