Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
36
search results - page 1 / 8
»
fmsd 2006
Sort
relevance
views
votes
recent
update
View
thumb
title
23
click to vote
FMSD
2007
67
views
more
FMSD 2007
»
Finding optimal hardware/software partitions
13 years 8 months ago
Download
www.cs.bme.hu
Zoltán Ádám Mann, Andrá...
claim paper
Read More »
28
click to vote
FMSD
2007
75
views
more
FMSD 2007
»
Checking extended CTL properties using guarded quotient structures
13 years 8 months ago
Download
www.cs.uic.edu
A. Prasad Sistla, Xiaodong Wang, Min Zhou
claim paper
Read More »
18
click to vote
FMSD
1998
52
views
more
FMSD 1998
»
A Functional Rephrasing of the Assumption/Commitment Specification Style
13 years 8 months ago
Download
www4.in.tum.de
Manfred Broy
claim paper
Read More »
23
click to vote
FMSD
1998
66
views
more
FMSD 1998
»
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets
13 years 8 months ago
Download
www.cs.bham.ac.uk
Alexandre Yakovlev
claim paper
Read More »
26
click to vote
FMSD
2007
78
views
more
FMSD 2007
»
Providing a formal linkage between MDG and HOL
13 years 8 months ago
Download
hvg.ece.concordia.ca
Haiyan Xiong, Paul Curzon, Sofiène Tahar, A...
claim paper
Read More »
« Prev
« First
page 1 / 8
Last »
Next »