zhensong's profile

About me

Username:	zhensong
Name:	Zhen Song
Job title:	Not specified
Affiliation:	Siemens Corporate Research
Web page:	Not specified
Joined:	2006-10-13

What I do

Not specified

Interests

Not specified

Recent Activity

2009-11-22

14:47: posted The status of the P versus NP problem

2009-11-16

17:21: posted Timed Automata with Asynchronous Processes: Schedulability and Decidability
16:43: posted SaveCCM Language Reference Manual

2009-11-12

12:06: posted An interview with Ping Fu

2009-11-11

22:35: posted A tutorial on the dynamics and control of wind turbines and wind farms

2009-11-10

22:03: posted Software model checking
21:57: posted A comparison of different software certification schemes
21:54: posted A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code
21:07: posted Functional Safety: A Straightforward Guide to IEC61508 and Related Standards
20:26: posted Symbolic Model Checking without BDDs
01:55: posted Stealth Solutions to Solve the Radar-Wind Farm Interaction Problem