scholarly journals Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs

2014 ◽  
Vol 10 (6) ◽  
pp. 140973 ◽  
Author(s):  
Mohammed Alnuem ◽  
Nazir Ahmad Zafar ◽  
Muhammad Imran ◽  
Sana Ullah ◽  
Mahmoud Fayed
Keyword(s):  
Formal Specification ◽  
Localized Algorithm

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification

An environment for Ada software development based on formal specification

1987 ◽  
Vol VII (3) ◽  
pp. 94-106 ◽  
Author(s):  
D C Luckham ◽  
R Neff ◽  
D S Rosenblum
Keyword(s):  
Software Development ◽  
Formal Specification
Sign in / Sign up

Export Citation Format

Share Document