( en | de | ru )

 

Disambiguierung von "Hansen, Michael R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Faults Analysis in Distributed Systems - Quantitative Estimation of Reliability and Resource Requirements.

, , und . ICSOFT (SE/MUSE/GSDCA), Seite 45-52. INSTICC Press, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael Hansen

Michael Hansen

Michael Hansen

Michael Hansen

Michael Hansen

 

Weitere Publikationen von Autoren mit dem selben Namen

An Adequate First Order Interval Logic., und . COMPOS, Volume 1536 von Lecture Notes in Computer Science, Seite 584-608. Springer, (1997)Eine sequelartige Sprachschnittstelle für das NF2-Modell., , und . Sprachen für Datenbanken, Volume 72 von Informatik-Fachberichte, Seite 134-147. Springer, (1983)Duration Specifications for Shared Processors., , , und . FTRTFT, Volume 571 von Lecture Notes in Computer Science, Seite 21-32. Springer, (1992)EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks., , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 520-540. Springer, (2014)Semantics and Verification of a Language for Modelling Hardware Architectures., , und . Formal Methods and Hybrid Real-Time Systems, Volume 4700 von Lecture Notes in Computer Science, Seite 300-319. Springer, (2007)An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic., und . J. Log. Algebraic Methods Program., 84 (1): 2-18 (2015)On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic., und . TIME, Seite 115-122. IEEE, (2011)An Extended Duration Calculus for Hybrid Real-Time Systems., , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 36-59. Springer, (1992)Using interval logics for temporal analysis of security protocols., und . FMSE, Seite 24-31. ACM, (2003)Generating web-based systems from specifications., , und . SAC, Seite 1647-1653. ACM, (2004)