Παρακολούθηση
Andreas Schaefer
Andreas Schaefer
University of Applied Sciences Luebeck
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα th-luebeck.de - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Combining real-time model-checking and fault tree analysis
A Schäfer
International Symposium of Formal Methods Europe, 522-541, 2003
342003
A calculus for shapes in time and space
A Schäfer
Theoretical Aspects of Computing-ICTAC 2004: First International Colloquium …, 2005
292005
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
Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006
82006
Specification and verification of mobile real-time systems
A Schäfer
Gesellschaft für Informatik, 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
Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005
2005
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–10