This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.
Gain insight into research trends and influential papers with Research Intelligence.
doi.org/10.1016/j.jss.2018.07.053
Other

Early validation of system requirements and design through correctness-by-construction

..., Joseph Sifakis
34
Journal of Systems and Software3.70
Volume: 145, Pages: 52 - 78
Published: Jul 20, 2018
Abstract
No abstract.
Paper Fields
Paper Details
Title
Early validation of system requirements and design through correctness-by-construction
DOI
doi.org/10.1016/j.jss.2018.07.053
Published Date
Jul 20, 2018
Journal
Journal of Systems and Software
Volume
145
Pages
52 - 78
© 2025 Pluto Labs All rights reserved.
Step 1. Scroll down for details & analytics related to the paper.
Discover a range of citation analytics, paper references, a list of cited papers, and more.