Tse-Min Lin

According to our database, Tse-Min Lin authored at least 5 papers between 2000 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Effect of team diversity on software project performance.

Ting-Peng Liang, Chih-Chung Liu, Tse-Min Lin, Binshan Lin

Ind. Manag. Data Syst., 2007

An engineering process for the verification of real-time systems.

Alan Burns, Tse-Min Lin

Formal Aspects Comput., 2007

2003

A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95.

Tse-Min Lin, John A. McDermid

Proceedings of the Reliable Software Technologies, 2003

Adding Temporal Annotations and Associated Verification to Ravenscar Profile.

Alan Burns, Tse-Min Lin

Proceedings of the Reliable Software Technologies, 2003

2000

(True) Polymorphism in SPARK2000.

Tse-Min Lin, John A. McDermid

Proceedings of the Reliable Software Technologies, 2000