365 resultados para atk-ohjelmat - LSP - Library software package

Encoding Object-Z in Isabelle-HOL

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Specifying mode requirements for embedded systems

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Modelling erroneous operator behaviours for an air-traffic control task

Relevância:

20.00% 20.00%

Publicador:

Veja mais

From process algebra to visual language

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Petrinette: a tool for the integrated analysis of petri nets and finite state machines

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Checking Z data refinements using an animation tool

Relevância:

20.00% 20.00%

Publicador:

Veja mais

A formal basis for a program compilation proof tool

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Property verification of asynchronous systems

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Towards a user-friendly design and verification environment

Relevância:

20.00% 20.00%

Publicador:

Veja mais

A translation of bounded Petri nets into finite state machines

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Experience in the design, implementation and use of a retargetable static binary translation framework

Relevância:

20.00% 20.00%

Publicador:

Veja mais

A Z Based approach to verifying security protocols

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Specification matching of state-based modular components

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Verifying program transformations using partial correctness semantics

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Using Z to animate Object-Z specifications

Relevância:

20.00% 20.00%

Publicador:

Veja mais