http://iet.metastore.ingenta.com
1887

Software Engineering Journal

Volume 11, Issue 6, November 1996

Volume 11, Issue 6

November 1996

Show / Hide details
    • Editorial: The formal specification of interactive systems
      Specifying user knowledge for the design of interactive systems
      Modelling status and event behaviour of interactive systems
      From logic to manuals
      Extending the application of formal methods to analyse human error and system failure during accident investigations

Most viewed content for this Journal

Article
content/journals/sej
Journal
5
Loading

Most cited content for this Journal

This is a required field
Please enter a valid email address