Bob's
/
Computer Science
/
Software Engineering with Process Algebra
Home
SE with PSF
Architecture specification
System Models
Implementation Techniques
Examples
SE Environments
Workbenches
Environments
Generalized Workbench
Publications
Tools
People
People
Bob Diertens
initiator
researcher
author
Daan Staudt
- bachelor student
Test driving the PSF-ToolBus Software Engineering Environment by performing a case study on a domotics (home automation) application.
bachelor thesis
\
SE with PA
\
Computer Science
\
Bob's
Last modified: Fri Jan 6 17:15:59 2023