Author:
Nanda Manju,Jayanthi J.,Dhage Shamsundar
Reference17 articles.
1. Jonathan Bowen, Formal Specification and Documentation using Z:A Case Study Approach, International Thomson Computer Press,1996
2. Muhammad Bilal Latif, Wajahat Noshairwan, Moeen-ud-din Tariq, Zafar. I. Malik The Use of Z Language for Multimedia Systems, International Conference on Information and Emerging Technologies, ICIET, July 2007, Pages 1--4, Doi: 10.1109/ICIET.2007.4381332
3. Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta,, Formalization and Validation of Safety-Critical Requirements, Workshop on Formal Methods for Aerospace, 2009, CoRR, abs/1003.1741
4. Monika Heiner and Maritta Heisel Modeling Safety Critical Systems with Z and Petri Nets Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security, SAFECOMP '99 Springer-Verlag, London, Pages 361--374, UK, 1999, ISBN:3-540-66488-2
5. Jun Sun and Jin Song Dong, Design Synthesis from Interaction and State-Based Specifications, IEEE Transactions on Software Engineering, June 2006, Pages: 349--364, Doi: 10.1109/TSE.2006.55