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
1678
search results - page 15 / 336
»
An ASM Specification of C
Sort
relevance
views
votes
recent
update
View
thumb
title
12
click to vote
FORMATS
2004
Springer
99
views
Formal Methods
»
more
FORMATS 2004
»
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications
14 years 26 days ago
Download
www2.warwick.ac.uk
Felix C. Gärtner, Arshad Jhumka
claim paper
Read More »
26
click to vote
ZUM
1997
Springer
104
views
Formal Methods
»
more
ZUM 1997
»
Preliminary Evaluation of a Formal Approach to User Interface Specification
13 years 11 months ago
Download
www.cs.virginia.edu
John C. Knight, Susan S. Brilliant
claim paper
Read More »
48
click to vote
AM
1989
310
views
Mathematics
»
more
AM 1989
»
Design of a Specification Language by Abstract Syntax Engineering
13 years 11 months ago
Download
igitur-archive.library.uu.nl
Jos C. M. Baeten, Jan A. Bergstra
claim paper
Read More »
26
click to vote
EURODAC
1995
IEEE
155
views
VHDL
»
more
EURODAC 1995
»
Design and use of a system-level specification and verification methodology
13 years 11 months ago
Download
www.cs.york.ac.uk
M. M. Kamal Hashmi, Alistair C. Bruce
claim paper
Read More »
19
click to vote
CAINE
2007
70
views
Computer Science
»
more
CAINE 2007
»
Simulation Processors and Their Collaboration for DEVS Models Integrated with Universal Coupling Specification
13 years 9 months ago
Download
biosystems.ucsf.edu
Sunwoo Park, Sean H. J. Kim, C. Anthony Hunt
claim paper
Read More »
« Prev
« First
page 15 / 336
Last »
Next »