Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
- Author
- E. Cerny, B. Berkane, P. Girodias, K. Khordoc (auth.)
- Publisher
- Springer US
- Language
- English
- Edition
- 1
- Year
- 1998
- Page
- 211
- ISBN
- 978-1-4613-7569-2,978-1-4615-5615-2
- File Type
- pdf
- File Size
- 8.4 MiB
How to Download?!!!
Just click on START button on Telegram Bot