Search Sciweavers | Sciweavers

36 search results - page 1 / 8

» fmsd 2006

click to vote

FMSD
2007

67views more FMSD 2007»

Finding optimal hardware/software partitions

13 years 4 months ago

Download www.cs.bme.hu

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

claim paper

Read More »

click to vote

FMSD
2007

75views more FMSD 2007»

Checking extended CTL properties using guarded quotient structures

13 years 4 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

13 years 4 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

13 years 4 months ago

Download www.cs.bham.ac.uk

Alexandre Yakovlev

claim paper

Read More »

click to vote

FMSD
2007

78views more FMSD 2007»

Providing a formal linkage between MDG and HOL

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers