Home
Publishers
Board
Content
Pre-Publication
Search
For Authors
For Reviewers
News
Vol.3,No.2,2009
Other Issues:
Vol.4,2010
Vol.3,2009
Vol.2,2008
Vol.1,2007
Special Double Issue on Formal Methods of Program Development
Editorial
[
Abstract
]
[
PDF
]
Designing and Analyzing a Flash File System with Alloy
[
Abstract
]
[
PDF
]
Symbolic Bounded Model Checking of Abstract State Machines
[
Abstract
]
[
PDF
]
Efficient Model Checking for Duration Calculus?
[
Abstract
]
[
PDF
]
Refinement-Based Guidelines for Algorithmic Systems
[
Abstract
]
[
PDF
]
Developing a Domain Model for Relay Circuits
[
Abstract
]
[
PDF
]
Formal Verification of a Consensus Algorithm in the Heard-Of Model
[
Abstract
]
[
PDF
]
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM
[
Abstract
]
[
PDF
]
The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip
[
Abstract
]
[
PDF
]
A Chain Datatype in Z
[
Abstract
]
[
PDF
]
Fault-Based Conformance Testing in Practice
[
Abstract
]
[
PDF
]
[2010-8-25]
Call for Papers--Special Issue on Software Modelling
[2010-8-9]
Call for Papers for SERES 2010
[2010-7-6]
Call for Papers for PIC-2010
[2010-6-8]
Good News: IJSI is indexed by DBLP
[2010-6-2]
Call for Papers for ICISE2010
more>>
Visitor:97286
Top Paper
|
FAQ
|
Guest Editors
|
Email Alert
|
Links
|
Copyright
|
Contact Us
© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592
