W. M. H. M. Rovers

Learn More
A simple mathematical model of photosynthetic carbon metabolism as driven by ATP and NADPH has been formulated to analyse photosynthetic oscillations. Two essential assumptions of this model are: (i) reduction of 3-phosphoglycerate to triosephosphate in the Clavin cycle is limited by ATP, not by NADPH, and (ii) photophosphorylation is affected by the(More)
The problem domain of this thesis is system development. It is motivated by the need to find and construct better design technologies. The use of better design technologies is viewed as imperative to deal with the increase in the size and complexity of digital systems. This thesis takes the view that the integration of formal methods and visual languages(More)
  • 1