Formal specification and verification of reusable...

  • Main
  • 2020 / 2
  • Formal specification and verification of reusable...
Future Generation Computer Systems 2020 / 2

Formal specification and verification of reusable communication models for distributed systems architecture

Rouland, Quentin, Hamid, Brahim, Jaskolka, Jason
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Language:
english
Journal:
Future Generation Computer Systems
DOI:
10.1016/j.future.2020.02.033
Date:
February, 2020
File:
PDF, 2.03 MB
english, 2020
Conversion to is in progress
Conversion to is failed