Formal Systems

Formal Analysis And Verification Of Safety Interlock Systems

Formal Models Of Communicating Systems

A Sociolegal Analysis Of Formal Land Tenure Systems

Modeling Telecom Networks And Systems Architecture: Conceptual Tools And Formal Methods

Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving

Formal Modeling And Analysis Of Timed Systems

Formal Methods For Industrial Critical Systems

Formal Techniques For Distributed Objects, Components, And Systems

Formal Methods For Industrial Critical Systems

Formal Methods In Systems Biology

Formal Modeling And Analysis Of Timed Systems

Formal Techniques For Distributed Objects, Components, And Systems

Formal Techniques For Safety-Critical Systems

Formalisation Des Processus De L''ingénierie Système

Formale Beschreibungstechniken Für Verteilte Systeme

Formal Modeling And Analysis Of Timed Systems

Formal Methods For Industrial Critical Systems

Formal Verification Of Control System Software

Formal Techniques For Distributed Objects, Components, And Systems

Formal Methods For Industrial Critical Systems

A Formal Model Of Visualization In Computer Graphics Systems

Formal Techniques For Distributed Systems

Formal Techniques In Real-Time And Fault-Tolerant Systems

Formal Techniques For Safety-Critical Systems

Formal Approaches To Agent-Based Systems

Formal Approaches To Agent-Based Systems

Formal Modeling And Analysis Of Timed Systems

Leveraging Applications Of Formal Methods, Verification And Validation. Distributed Systems

Formal Methods In Systems Engineering

Formal Methods For Discrete-Time Dynamical Systems

Formal Modeling And Analysis Of Timed Systems

Formal Methods For Industrial Critical Systems

Power Optimization And Synthesis At Behavioral And System Levels Using Formal Methods

Formal Techniques For Distributed Objects, Components, And Systems

Critical Systems: Formal Methods And Automated Verification

Formal Modeling And Analysis Of Timed Systems

Formal Methods For Open Object-Based Distributed Systems

Formal Methods For Trustworthy Computer Systems (Fm89)

Introduction To The Formal Design Of Real-Time Systems

Formal Methods For Protocol Engineering And Distributed Systems

Formal Techniques For Safety-Critical Systems

Formal Descriptions Of Developing Systems

Formal Techniques In Real-Time And Fault-Tolerant Systems

Formal Methods For The Design Of Real-Time Systems

Formal Techniques For Computer Systems And Business Processes