Search Sciweavers | Sciweavers

36 search results - page 1 / 8

» fmsd 2006

Voted

FMSD
2007

67views more FMSD 2007»

Finding optimal hardware/software partitions

14 years 10 months ago

Download www.cs.bme.hu

Zoltán Ádám Mann, Andrá...

claim paper

Read More »

Voted

FMSD
2007

75views more FMSD 2007»

Checking extended CTL properties using guarded quotient structures

14 years 10 months ago

Download www.cs.uic.edu

A. Prasad Sistla, Xiaodong Wang, Min Zhou

claim paper

Read More »

click to vote

FMSD
1998

52views more FMSD 1998»

A Functional Rephrasing of the Assumption/Commitment Specification Style

14 years 10 months ago

Download www4.in.tum.de

Manfred Broy

claim paper

Read More »

click to vote

FMSD
1998

66views more FMSD 1998»

Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets

14 years 10 months ago

Download www.cs.bham.ac.uk

Alexandre Yakovlev

claim paper

Read More »

Voted

FMSD
2007

78views more FMSD 2007»

Providing a formal linkage between MDG and HOL

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers