(PDF) The MODUS Approach to Formal Verification - Business

The MODUS Approach to Formal Verification

Business Systems Research - Germany

doi 10.2478/bsrj-2014-0002

Full Text

Abstract

Available in full text

Categories

Information Systems

Management Information Systems

Management of Technology

Date

March 1, 2014

Authors

Publisher

Walter de Gruyter GmbH

Related search

Formal Based Verification to Build Safer Cars

International Journal of Computer Applications

English

Formal Specification and Verification

English

How to Avoid the Formal Verification of a Theorem Prover

Logic Journal of the IGPL

English

Verification of Invariant Properties of Business Process Based on Formal Approach

English

Formal Verification of Pipelined Processors

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Formal Verification of NTRUEncrypt Scheme

International Journal of Computer Network and Information Security

English

Formal Verification of Netlog Protocols

English

Formal Verification of Hybrid Systems

English

Formal Verification of Evolutionary Changes

English