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
30240
search results - page 701 / 6048
»
Robust System Design
Sort
relevance
views
votes
recent
update
View
thumb
title
134
click to vote
FMSD
1998
74
views
more
FMSD 1998
»
A Formal Verification Environment for Railway Signaling System Design
15 years 7 months ago
Download
fmt.isti.cnr.it
Cinzia Bernardeschi, Alessandro Fantechi, Stefania...
claim paper
Read More »
158
click to vote
CGA
1999
127
views
Computational Geometry
»
more
CGA 1999
»
Design of an Anatomy Information System
15 years 7 months ago
Download
sigpubs.biostr.washington.edu
James F. Brinkley, Benjamin A. Wong, Kevin P. Hins...
claim paper
Read More »
156
click to vote
COMCOM
1999
63
views
more
COMCOM 1999
»
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
15 years 7 months ago
Download
www.dmst.aueb.gr
Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...
claim paper
Read More »
161
click to vote
JCSC
2002
61
views
more
JCSC 2002
»
Matador: An Exploration Environment for System-Design
15 years 7 months ago
Download
www.esat.kuleuven.be
Paul Marchal, Murali Jayapala, Samuel Xavier de So...
claim paper
Read More »
138
click to vote
JERIC
2002
108
views
more
JERIC 2002
»
Logisim: a graphical system for logic circuit design and simulation
15 years 7 months ago
Download
www.citidel.org
Carl Burch
claim paper
Read More »
« Prev
« First
page 701 / 6048
Last »
Next »
