Søkt på: Søkeresultat
totalt 4 treff
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held …
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held …
Verification and Evaluation of Computer and Communication Systems
This book constitutes the proceedings of the 14th International Conference on Veri?cation and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be …
Structured Object-Oriented Formal Language and Method
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in …