Phillip Starke

Learn More
We present a modular modeling technique for Discrete Event Systems and its application to a modular and distributed controller design. The components of the controller were designed using Moore automata. The model of the interconnected system was set up using Signal-Event nets. Modelchecking was performed for veriication of the design. Critical and(More)
  • Schostak J, Hanson J Schostak, J Brown, T Driscoll, P Starke, I Jenkins
  • 2011
Appendixes 2 Executive summary Doctors' have a duty to keep their knowledge and skills up to date. This continuing professional development (CPD) is an integral part of doctors' professionalism. Although it should be rewarding in its own right, CPD is not an end in itself. Its purpose is to enable doctors to continue to provide high standards of care for(More)
  • 1