Searching for authors named "Angelika Mader" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Modal µ-Calculus, Model Checking and Gauß Elimination
- … 2 Angelika Mader X = A(X) (with monotone A) has the least fixpoint A(false) and the greatest…
- Cited by 2 (0 self) – Add To MetaCart
-
On verification modelling of embedded systems
- …On Verification Modelling of Embedded Systems Ed Brinksma and Angelika Mader ⋆ Department…
- Cited by 3 (1 self) – Add To MetaCart
-
A Classification of PLC Models and Applications
- …A CLASSIFICATION OF PLC MODELS AND APPLICATIONS Angelika Mader University of Nijmegen…
- Cited by 7 (4 self) – Add To MetaCart
-
Precise timing analysis of PLC applications two small examples
- …Precise timing analysis of PLC applications two small examples Angelika Mader November 21, 2000…
- Cited by 1 (0 self) – Add To MetaCart
-
What is the method in applying formal methods to PLC applications?
- …What is the method in applying formal methods to PLC applications? Angelika Mader and Hanno…
- Cited by 1 (0 self) – Add To MetaCart
-
Timed automaton models for simple programmable logic controllers
- …Timed Automaton Models for Simple Programmable Logic Controllers Angelika Mader Hanno Wupper…
- Cited by 12 (2 self) – Add To MetaCart
-
What is the method in applying formal methods to PLC applications?
- …What is the method in applying formal methods to PLC applications? Angelika Mader and Hanno…
- Add To MetaCart
-
Design of a PLC Program for VHS Case Study 1
- …Design of a PLC Program for VHS Case Study 1 Angelika Mader , Hanno Wupper, Nanette Bauer May…
- Cited by 1 (0 self) – Add To MetaCart
-
Design of a PLC Control Program for a Batch Plant - VHS Case Study 1
- …Design of a PLC Control Program for a Batch Plant VHS Case Study 1 Angelika Mader 1 , Ed…
- Cited by 9 (4 self) – Add To MetaCart
-
Verification and Optimization of a PLC Control Schedule
- …) Verification and Optimization of a PLC Control Schedule Ed Brinksma 1 , Angelika Mader 1 , Ansgar Fehnker…
- Cited by 17 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
