Uploads by api-3701002

лапин-фотография_как

Article

VHDL_2006_03_29

VHDL_2006_03_22

VHDL_2006_03_15

VHDL_2006_02_28

VHDL_2006_02_21

VHDL_2006_02_15

Using Z-specification Refinement and Proof

The Theory and Practice of Con Currency

The Need for Fdt in Validating Communication Protocols

Survey of Fdt for Protocol Converter Design

Statecharts-A Visual Formalizm for Complex Systems

Selection of Fdt for Fdt Based Protocol Converter

A Formal Approach to Software Architecture