Search

Your search keyword '"van den Brand, Mark"' showing total 516 results

Search Constraints

Start Over You searched for: Author "van den Brand, Mark" Remove constraint Author: "van den Brand, Mark"
516 results on '"van den Brand, Mark"'

Search Results

5. Designing a Reference Architecture for the C-ITS Services

10. Formal Methods for GPGPU Programming: Is the Demand Met?

13. Models, More Models, and Then a Lot More

17. Contributors

20. Preface

21. Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations

22. LaMa: a thematic labelling web application

23. Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization

24. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models

26. Safety Case Development with SBVR-Based Controlled Language

28. Conceptual Model of the Globalization for Domain-Specific Languages

30. Syntax-Safe Templates

31. Case Studies

32. Conclusions

33. Preliminaries

34. The Metalanguage

36. The Unparser

37. Introduction

39. From Conceptual Models to Safety Assurance

40. Metamodel Comparison and Model Comparison for Safety Assurance

43. A community-sourced view on engineering digital twins

44. A Community-Sourced View on Engineering Digital Twins: A Report from the EDT.Community

45. Extracting Models from ISO 26262 for Reusable Safety Assurance

46. Island Grammar-Based Parsing Using GLL and Tom

47. The Babel of Software Development: Linguistic Diversity in Open Source

48. Safe Specification of Operator Precedence Rules

49. MDE Basics with a DSL Focus

50. Traceability Visualization in Model Transformations with TraceVis

Catalog

Books, media, physical & digital resources