Personensuche
X
?
Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products ,
2
An Intermediate Language-Based Approach to Implementing and..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
3
Interpreting Knowledge-based Programs:
, In:
?
Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science ,
4
Automated QoS-Aware Service Selection Based on Soft Constra..:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
7
An Institutional Approach to Communicating UML State Machin..:
, In:
?
2022 IEEE 20th International Conference on Industrial Informatics (INDIN) ,
8
Cube Bot — A Smart Factory Showcase for the Real-Time Conta..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science ,
9
Epistemic Ensembles:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
10
A Hoare Logic with Regular Behavioral Specifications:
, In:
?
Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science ,
14