Search Sciweavers | Sciweavers

8 search results - page 1 / 2

» fmsd 2007

click to vote

FMSD
2007

67views more FMSD 2007»

Finding optimal hardware/software partitions

13 years 5 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 5 months ago

Download www.cs.uic.edu

A. Prasad Sistla, Xiaodong Wang, Min Zhou

claim paper

Read More »

click to vote

FMSD
2007

78views more FMSD 2007»

Providing a formal linkage between MDG and HOL

13 years 5 months ago

Download hvg.ece.concordia.ca

Haiyan Xiong, Paul Curzon, Sofiène Tahar, A...

claim paper

Read More »

click to vote

FMSD
2007

138views more FMSD 2007»

Object oriented concepts identification from formal B specifications

13 years 5 months ago

Download membres-lig.imag.fr

This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...

Akram Idani, Yves Ledru

claim paper

Read More »

click to vote

FMSD
2007

97views more FMSD 2007»

On the optimal reachability problem of weighted timed automata

13 years 5 months ago

Download www.lsv.ens-cachan.fr

We study the cost-optimal reachability problem for weighted timed automata such that positive and negative costs are allowed on edges and locations. By optimality, we mean an inﬁ...

Patricia Bouyer, Thomas Brihaye, Véronique ...

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers