[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

LanoGoldsackSanchez99

  1. Kevin Lano & Stephen Goldsack & arturo Sanchez
  2. specification of a Chemical Process Controller in B
  3. In [HincheyBowen99] pp53-80
  4. =EXPERIENCE fORMAL SPECIFICATION REACTIVE VALIDATION V&V B PCT FSM TEMPORAL LOGIC StateCharts TOOLS
  5. Chemical process control synthesis.
  6. Worked but would have liked to have temporal logic to specify dynamics

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]