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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
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
105
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
15 years 11 months ago
Download
www2.warwick.ac.uk
Felix C. Gärtner, Arshad Jhumka
claim paper
Read More »
127
click to vote
ZUM
1997
Springer
104
views
Formal Methods
»
more
ZUM 1997
»
Preliminary Evaluation of a Formal Approach to User Interface Specification
15 years 10 months ago
Download
www.cs.virginia.edu
John C. Knight, Susan S. Brilliant
claim paper
Read More »
217
click to vote
AM
1989
310
views
Mathematics
»
more
AM 1989
»
Design of a Specification Language by Abstract Syntax Engineering
15 years 9 months ago
Download
igitur-archive.library.uu.nl
Jos C. M. Baeten, Jan A. Bergstra
claim paper
Read More »
148
click to vote
EURODAC
1995
IEEE
155
views
VHDL
»
more
EURODAC 1995
»
Design and use of a system-level specification and verification methodology
15 years 9 months ago
Download
www.cs.york.ac.uk
M. M. Kamal Hashmi, Alistair C. Bruce
claim paper
Read More »
123
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
15 years 7 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 »
