Descriptions of the following applications made using formal methods are present:
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
A | top AAMP-FV AAMP5 Ammunition Control System Architecture for a Family of Oscilloscopes Automatic Protection Switching (Comparative Study of Formalisms)
B | top B27 Traffic Control System Behavioural Analysis of Geographic Data BIBDIA - A library organization and lending system BMW Rolls-Royce System Test Facility (STF) Bus arbiter of Bull's Powerscale architecture
C | top Cancan Mediation Device Car Overtaking Protocol Case studies of Basic LOTOS Case Study Production Cell CAT Compiler System Chassis Level Control System Chemical Tanker Load Balancing CICS development with B CIDS A330/340 Cabin Communication System CombiCom Communications gateway using Coloured Petri Nets Compact Dynamic Bus Station ConForm: The Experimental Development of a Trusted Gateway Constrained Shortest Path Problem: A Case Study in Using ASMs Control Logic Design of Robot Work Cells
D | top Data Acquisition, Monitoring and Commanding of Space Equipment Data logger for an implantable medical device Data Management System (DMS) Design Validation (DDV) Digital Control Unit (DCU) DUST-EXPERT
E | top Electricity meter EuroTri ELSA (control system of a pondage power plant)
F | top FlowBus Component Further applications, see our Wiki.
© copyright 2004 | Formal Methods Europe
