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

Bibliographic Item (1.0)

LevesonEtal99

  1. Nancy G Leveson & Mats P E Heimdahl & Jon Damon Reese
  2. Designing Specification Languages for Process Control Systems; Lessons Learned and Steps to the Future

    [NierstraszLemoine99] pp126-145

  3. =EXPERIENCE RSML FAA TCAS SpecTRM SpecTRM-RL SPECIFICATION LANGUAGES METHOD FORMAL GRAPHIC TABULAR TOOLS
  4. Errors from synchronizing parallel interdepent machines and startup, so eliminate internal events and use data dependencies to determine sequence of state changes.

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]