Travelled to:1 × Germany
2 × USA
Collaborated with:R.Cleaveland S.A.Smolka O.Sokolsky I.Lee
Talks about:concurr (3) factori (2) environ (2) develop (2) softwar (1) process (1) theori (1) system (1) time (1) test (1)
Person: Philip M. Lewis
DBLP: Lewis:Philip_M=
Contributed to:
1996
1996
1996Wrote 3 papers:
- CAV-1996-CleavelandLSS #concurrent #development
- The Concurrency Factory: A Development Environment for Concurrent Systems (RC, PML, SAS, OS), pp. 398–401.
- SEKE-1996-CleavelandLLS #formal method #process #realtime #testing
- A Theory of Testing for Soft Real-Time Processes (RC, IL, PML, SAS), pp. 474–479.
- TACAS-1996-CleavelandLSS #concurrent #development
- The Concurrency Factory Software Development Environment (RC, PML, SAS, OS), pp. 391–395.