E-LIB Suche - Ergebnisse für: Gruner, Stefan

1

Wasserkraftanlagen

Klein- und Kleinstkraftwerke Kontakt & Studium ; Band 322

Brada, Karel ; Gall, Michael ; Gruner, Stefan... - 8., aktualisierte und erweiterte Auflage . , 2017

Copies: TB BHV: erg 310/3(8)

2

A Verification Tool for Real-Time Task Schedulability Analy..:

, In: South African Institute of Computer Scientists and Information Technologists; Communications in Computer and Information Science,

Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan - p. 48-60 , 2023

Link: https://doi.org/10.1007/..

3

An evaluation of approaches to model checking real-time tas..:

Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan
International Journal on Software Tools for Technology Transfer. 25 (2023) 1 - p. 115-128 , 2023

Link: https://doi.org/10.1007/..

4

Genetic Micro-Programs for Automated Software Testing with ..:

, In: 2022 IEEE Congress on Evolutionary Computation (CEC),

Goschen, Jarrod ; Bosman, Anna S. ; Gruner, Stefan - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

5

Spotlight Abstraction in Model Checking Real-Time Task Sche..:

, In: Model Checking Software; Lecture Notes in Computer Science,

Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan - p. 63-80 , 2021

Link: https://doi.org/10.1007/..

6

Eine neue Commune?: Die provisorische Regierung von 1830 in..:

, In: Die Exekutiven der Revolutionen,

Grüner, Stefan - p. 175-203 , 2021

Link: https://doi.org/10.30965..

7

Invited Lecture: Notions of 'Theory' and their Practical Co..:

Gruner, Stefan
South African Computer Journal. 32 (2020) 2 - p. , 2020

Link: https://doi.org/10.18489..

8

Example HB Entry of a Formal Method for the Railway Domain ..:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,

Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 57-75 , 2020

Link: https://doi.org/10.1007/..

9

Conclusions and Prospects for Future Work:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,

Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 77-78 , 2020

Link: https://doi.org/10.1007/..

10

Introduction and Motivation:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,

Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 3-11 , 2020

Link: https://doi.org/10.1007/..

11

Model checking safety and liveness via k-induction and witn..:

Timm, Nils ; Gruner, Stefan ; Nxumalo, Madoda.
Science of Computer Programming. 200 (2020) - p. 102532 , 2020

Link: https://doi.org/10.1016/..

12

ICT Education: 48th Annual Conference of the Southern Afric..

Communications in Computer and Information Science, 1136

Tait, Bobby ; Kroeze, Jan ; Gruner, Stefan - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

13

Related Work:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,

Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 13-20 , 2020

Link: https://doi.org/10.1007/..

14

On the Construction of Engineering Handbooks: with an Illus..

SpringerBriefs in Computer Science

Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

15

A General Method for Composing an Engineering HB:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,

Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 23-40 , 2020

Link: https://doi.org/10.1007/..