Sciweavers

    29 search results - page 2 / 6
    » fm 1999
    Sort
    View
    104
    Voted
    FM
    1999
    Springer
    122views Formal Methods» more  FM 1999»
    Towards a Compositional Approach to the Design and Verification of Distributed Systems
    15 years 8 months ago
    Towards a Compositional Approach to the Design and Verification of Distributed Systems
    Download  www.cs.unh.edu
    Michel Charpentier, K. Mani Chandy
    claim paper
    Read More »
    110
    Voted
    FM
    1999
    Springer
    114views Formal Methods» more  FM 1999»
    Bunches for Object-Oriented, Concurrent, and Real-Time Specification
    15 years 8 months ago
    Bunches for Object-Oriented, Concurrent, and Real-Time Specification
    Download  www.cs.toronto.edu
    Richard F. Paige, Eric C. R. Hehner
    claim paper
    Read More »
    ISCAS
    1999
    IEEE
    220views Hardware» more  ISCAS 1999»
    Area-optimized FPGA implementation of a digital FM modulator
    15 years 8 months ago
    Area-optimized FPGA implementation of a digital FM modulator
    Download  www.tkt.cs.tut.fi
    Riku Uusikartano, Jarkko Niittylahti, Markku Renfo...
    claim paper
    Read More »
    103
    Voted
    FM
    1999
    Springer
    88views Formal Methods» more  FM 1999»
    Refinement Semantics and Loop Rules
    15 years 8 months ago
    Refinement Semantics and Loop Rules
    Download  www.cs.toronto.edu
    Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...
    Eric C. R. Hehner, Andrew M. Gravell
    claim paper
    Read More »
    57
    Voted
    FM
    1990
    Springer
    56views Formal Methods» more  FM 1990»
    Object Orientation and Formal Techniques
    15 years 7 months ago
    Object Orientation and Formal Techniques
    Download  heim.ifi.uio.no
    Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999
    Ole-Johan Dahl
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.