Sciweavers

29 search results - page 2 / 6

» fm 1999

10

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

13 years 10 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 »

16

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

13 years 10 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 »

12

ISCAS
1999
IEEE

220views Hardware» more ISCAS 1999»

Area-optimized FPGA implementation of a digital FM modulator

13 years 10 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 »

10

FM
1999
Springer

88views Formal Methods» more FM 1999»

Refinement Semantics and Loop Rules

13 years 10 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 »

3

FM
1990
Springer

56views Formal Methods» more FM 1990»

Object Orientation and Formal Techniques

13 years 9 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 »

« Prev « First page 2 / 6 Last » Next »