|
|
Sold Out
Book Categories |
| Foreword | ||
| Preface | ||
| Trademarks | ||
| List of Contributors | ||
| 1 | Applications of Formal Methods FAQ | 1 |
| 2 | Using Mathematical Models in the Inspection of Critical Software | 17 |
| 3 | Gaining Assurance with Formal Methods | 33 |
| 4 | Formal Specification of an Architecture for a Family of Instrumentation Systems | 55 |
| 5 | Formal Specification of the STV Algorithm | 73 |
| 6 | Application of the B-Method to CICS | 97 |
| 7 | Formal Verification of the AAMP5 Microprocessor | 125 |
| 8 | Modelling and Verification of a Simple Real-time Railroad Gate Controller | 181 |
| 9 | CombiCom: Tracking and Tracing Rail Traffic using VDM[superscript ++] | 203 |
| 10 | Formal Development of Safety-critical Software Systems in Railway Signalling | 227 |
| 11 | Z Applied to the A330/340 CIDS Cabin Communication System | 253 |
| 12 | Specifying the Kernel of a Secure Distributed Operating System | 285 |
| 13 | Formal Specification of an Aerospace System: the Attitude Monitor | 301 |
| 14 | Developing a Security-critical System using Formal and Conventional Methods | 333 |
| 15 | The use of Z within a Safety-Critical Software System | 357 |
| 16 | Multiparadigm Specification of an AT&T Switching System | 375 |
| 17 | Formal Methods Technology Transfer: Impediments and Innovation | 399 |
| References | 421 | |
| Index | 439 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Applications of Formal Methods
X
This Item is in Your Inventory
Applications of Formal Methods
X
You must be logged in to review the productsX
X
X
Add Applications of Formal Methods, , Applications of Formal Methods to the inventory that you are selling on WonderClubX
X
Add Applications of Formal Methods, , Applications of Formal Methods to your collection on WonderClub |