Login / Signup
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software.
Miriam C. Bergue Alves
Doron Drusinsky
James Bret Michael
Man-tak Shing
Published in:
IEEE Syst. J. (2013)
Keyphrases
</>
end to end
formal specification
model checking
formal methods
object oriented design
case study
congestion control
admission control
concurrent systems
grid workflow
wireless ad hoc networks
software components
temporal logic
ad hoc networks
response time
wifi
software development
specification languages