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
8828
search results - page 121 / 1766
»
Formal methods in practice
Sort
relevance
views
votes
recent
update
View
thumb
title
108
click to vote
FMICS
2007
Springer
111
views
Formal Methods
»
more
FMICS 2007
»
Automatic Interoperability Test Case Generation Based on Formal Definitions
15 years 10 months ago
Download
www.irisa.fr
Alexandra Desmoulin, César Viho
claim paper
Read More »
106
click to vote
IFM
2007
Springer
98
views
Formal Methods
»
more
IFM 2007
»
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
15 years 10 months ago
Download
www.jaist.ac.jp
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
claim paper
Read More »
134
click to vote
SFM
2007
Springer
134
views
Formal Methods
»
more
SFM 2007
»
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms
15 years 10 months ago
Download
www.sti.uniurb.it
C. Murray Woodside
claim paper
Read More »
119
click to vote
CAV
2004
Springer
111
views
Hardware
»
more
CAV 2004
»
Using Interface Refinement to Integrate Formal Verification into the Design Cycle
15 years 9 months ago
Download
chicory.stanford.edu
Jacob Chang, Sergey Berezin, David L. Dill
claim paper
Read More »
111
click to vote
CAV
2004
Springer
90
views
Hardware
»
more
CAV 2004
»
WSAT: A Tool for Formal Analysis of Web Services
15 years 9 months ago
Download
www.cs.ucsb.edu
Xiang Fu, Tevfik Bultan, Jianwen Su
claim paper
Read More »
« Prev
« First
page 121 / 1766
Last »
Next »
