Andreas Schaefer
Andreas Schaefer
University of Applied Sciences Luebeck
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα informatik.uni-oldenburg.de - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Combining real-time model-checking and fault tree analysis
A Schäfer
International Symposium of Formal Methods Europe, 522-541, 2003
322003
A calculus for shapes in time and space
A Schäfer
International Colloquium on Theoretical Aspects of Computing, 463-477, 2004
302004
Axiomatisation and decidability of multi-dimensional duration calculus
A Schäfer
Information and Computation 205 (1), 25-64, 2007
122007
Spatio-temporal model checking for mobile real-time systems
JD Quesel, A Schäfer
International Colloquium on Theoretical Aspects of Computing, 347-361, 2006
82006
Specification and verification of mobile real-time systems
A Schäfer
Ausgezeichnete Informatikdissertationen 2006, 2007
72007
Conceptional modeling and analysis of spatio-temporal processes in biomolecular systems
A Schäfer, M John
Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling …, 2009
62009
Einstiege in die Mathematik in Lübeck
O Voll, A Schäfer
Mathematik im Übergang Schule/Hochschule und im ersten Studienjahr, 158, 2013
32013
Fehlerbaumanalyse und Model-Checking
A Schäfer
32001
Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme Specification and Verification of Spatio-Temporal Properties of Mobile Systems
A Schäfer
it-Information Technology 50 (5), 324-326, 2008
2008
The timer cascade: Functional modelling and real time calculi
R Boute, A Schäfer
International Colloquium on Theoretical Aspects of Computing, 242-256, 2005
2005
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–10