Search for persons
X
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
3
Discussing the Future Role of Documentation in the Context ..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
4
Executable Documentation: From Documentation Languages to P..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
5
Evaluation of Graphical Modeling of CI/CD Workflows with Ri:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
6
DIME Days (ISoLA 2022 Track Introduction):
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation ,
7
Aligned, Purpose-Driven Cooperation: The Future Way of Syst..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation ,
8
An Introduction to Graphical Modeling of CI/CD Workflows wi..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation ,
9
Agile Business Engineering: From Transformation Towards Con..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science ,
10
Guaranteeing Type Consistency in Collective Adaptive System:
, In:
?
From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science ,
11