Search for persons
X
?
1
Wasserkraftanlagen
Klein- und Kleinstkraftwerke
Kontakt & Studium ; Band 322
Copies:
TB BHV: erg 310/3(8)
?
South African Institute of Computer Scientists and Information Technologists; Communications in Computer and Information Science ,
3
A Verification Tool for Real-Time Task Schedulability Analy..:
, In:
?
2022 IEEE Congress on Evolutionary Computation (CEC) ,
4
Genetic Micro-Programs for Automated Software Testing with ..:
, In:
?
Model Checking Software; Lecture Notes in Computer Science ,
5
Spotlight Abstraction in Model Checking Real-Time Task Sche..:
, In:
?
Die Exekutiven der Revolutionen ,
6
Eine neue Commune?: Die provisorische Regierung von 1830 in..:
, In:
?
7
ICT Education: 48th Annual Conference of the Southern Afric..
Communications in Computer and Information Science, 1136
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
8
Application of the General Method to the Railway Domain:
, In:
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
9
Conclusions and Prospects for Future Work:
, In:
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
10
A General Method for Composing an Engineering HB:
, In:
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
11
Example HB Entry of a Formal Method for the Railway Domain ..:
, In:
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
12
Related Work:
, In:
?