1
0
0
News
TraffGo HT, Chronik 2016
www.traffgo-ht.com
Zusammen mit Martin Olek von Olek Brandschutz und Dr. Karsten Loer von SySaCon haben wir im alten Postbahnhof in Berlin ein Seminar zum Thema ...
TraffGo HT, News 2018
www.traffgo-ht.com
We also would like to thank Dr. Karsten Loer (Sysacon) for his initiative and help to facilitate the seminar. Development of significant evacuation ...
Lohbrügger Studentin macht große Festivals sichererHamburger Abendblatt
www.abendblatt.de
— Karsten Loer, der die Arbeit betreut hat: „Es liegt im Ermessen der Polizei, einzuschätzen, ob es sich um eine leere Drohung handelt oder ... › ... › Bergedorf › Lohbrügge
Netzwerk-Profile
LinkedIn: Karsten Loer | LinkedIn
Karsten Loers berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Karsten Loer dabei hilft, ...
Business-Profile
Experten-Gespräch zur Verbesserung der Kommunikation ...Medizin Aspekte
medizin-aspekte.de
— Dazu ein Gespräch mit MD, MPH Amena Almes Ahmad, Professorin für Public Health im Department Gesundheitswissenschaften, Dr. Karsten Loer, ... › Blog
Private Homepages
Imprint – sysacon
sysacon.com
Imprint; Imprint. Address: Dr. Loer system safety consulting. Dr. Karsten Loer Hamburg. GERMANY. fon: +49 (0)
Ausbildung
Research methods for human--computer interaction in SearchWorks...
searchworks.stanford.edu
Stanford Libraries' official online search tool for books, media, journals, databases, government documents and more.
Human Error and Systems Development'97
www.dcs.gla.ac.uk
Analysing the Cali Accident With a WB-Graph. Thorsten Gerdsmeier, Peter Ladkin and Karsten Loer,. RVS, Technische Fakult t, Universit t Bielefeld, Germany. › workshop
Bücher
OPC4 - results/titledatalhwei.gbv.de › PPN
lhwei.gbv.de
Formal analysis of interactive systems: opportunities and weaknesses / Michael Harrison, José Creissac Campos and Karsten Loer. Using statistics in usability ...
Entertainment, Propaganda, Education: Regional Theatre in ...google.com
books.google.com
... Kässens and Heiner Frankholz , Tanja and Andreas Schwarze , Wolfram van Well , Marina Bourgeois and Birgit Steffens , Anke Börsel , and Karsten Loer .
Computer Safety, Reliability, and Security: 19th ...books.google.com › books
books.google.de
347 Peter B. Ladkin and Karsten Loer. Why-Because Analysis: Formal Reasoning About Incidents. Technical Report RVS-Bk , Networks and distributed ...
Dokumente zum Namen
Transport automation technology employment the ...SlideShare
www.slideshare.net
... Khanssa Lagdami (Chapter 4), Karsten Loer (Chapter 1) and Xiaoning Shi (Chapter 2). The report benefited from major substantive contributions from WMU ... › trans...
Analysing the Warsaw Accident with a WB-Graphleonardo-in-flight.nl
leonardo-in-flight.nl
von M Höhl · · Zitiert von: 12 — (GeLa97a): Thorsten Gerdsmeier, Michael Höhl, Peter Ladkin, Karsten Loer, How Aircraft Crash: Accident Reports. › PDF
Electronic Filing July 4, Joint Review Panel Enbridge ...ceaa-acee.
aeic-iaac.gc.ca
von DM Young · — Dr. Karsten Loer, Germanischer Lloyd, Hamburg, Germany. Zusammenfassung: In diesem Beitrag wird die Entwicklung eines Risi-. › documents
Communally Governed Transactions among dok
123dok.com
Dr. Ipke Wachsmuth and Dr. Karsten Loer for being the member of my Ph.D. committee. Furthermore, I thank the Technische Fakult¨at for their support in the ... › Lainnya
Wissenschaftliche Veröffentlichungen
dblp: Automated Software Engineering, Volume 13
dblp.uni-trier.de
Bibliographic content of Automated Software Engineering, Volume 13
Karsten Loer - dblpdblp.org › Persons
dblp.org
Karsten Loer, Michael D. Harrison : An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and ...
dblp: Verification and Validation of Enterprise Information Systems...
dblp.uni-trier.de
Bibliographic content of Verification and Validation of Enterprise Information Systems 2004
AG RVS - Formalising Failure Analysis
www.rvs.uni-bielefeld.de
Formalising Failure Analysis Thorsten Gerdsmeier, Peter B. Ladkin, Karsten Loer Research Report RVS-Occ Abstract: We consider systems which are artifacts ...
Veröffentlichungen allgemein
information on ships isis Schiffbautechnische ...Yumpu
www.yumpu.com
— Karsten Loer, Germanischer Lloyd SE, Hamburg, Germany. Jacqueline Holz, Georgios Athanassiou, Oliver Straeter, University of Kassel, Germany. › view
Connecting Rigorous System Analysis to Experience ...springer.com
link.springer.com
von M Harrison · · Zitiert von: 4 — Connecting Rigorous System Analysis to Experience-Centered Design. Michael Harrison,; José Creissac Campos, … Gavin Doherty &; Karsten Loer. Show authors. › chapter
Analysing Dynamic Function Scheduling Decisions | SpringerLink
link.springer.com
Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of...
Human Error, Safety and Systems Development, IFIP 18th ...
researchr.org
31-44; Analysing Dynamic Function Scheduling DecisionsKarsten Loer, Michael Hildebrandt, Michael D. Harrison ; Formal Verification and Validation of ... › ifip13:2004
Artikel & Meinungen
Cargoforum › Nachrichten › Außenhandel & Zoll › 5. Thementag...
cargoforum.de
Cargoforum.de, Forum für Transport, Logistik, Spedition, Zoll und Aussenwirtschaft.
Human-Computer Interaction SeriesWordPress.com
itslearningakarmazyan.files.wordpress.com
and Karsten Loer. 4 Tailoring Usability into Agile Software Development Projects Scott W. Ambler. 5 Model-Based Evaluation: A New Way to Support ... › ...
Massenanfälle von Verletzten: Wie trainiert und analysiert ...Claussen-Simon-Stiftung
www.claussen-simon-stiftung.de
— Karsten Loer um individuelle Plugins erweitert. Mitte Oktober stand eine hybride Übung gemeinsam mit dem Hafenärztlichen Dienst, dem ... › blog › ein-pr...
Sonstiges
Discussion list for issues related to the verification tool UPPAAL ...
groups.yahoo.com
... files is not obvious. Is there any documentation of the file format available? Regards, Karsten Loer. henning_dierks &-ol.
Karsten Loer - Bielefeld, Soest (Universität Bielefeld)
stayfriends.uk
Karsten Loer ist Mitglied bei StayFriends und hat bis diese Schule besucht: Universität Bielefeld.
Loer - Names EncyclopediaNames Encyclopedia
www.namespedia.com
Karsten Loer (1) Klaudia Loer (1) Kirsten Loer (1) Katrin Loer (1) Kathrin Loer (1) Ingrid Loer (1) Ingenieur Loer (1) Helga Loer (1) Bianca Loer (1) › L...
Karsten Loer - researchr alias
researchr.org
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluationKarsten Loer, Michael D. Harrison.
admaris – Advisors on Maritime Risk and Safety
admaris.net
Dr. Karsten Loer. EXPERIENCE; since 2014: Senior Safety Analyst with admaris GmbH, Hamburg, Germany: since 2013: Independent Safety Consultant, Hamburg, Germany:
DSVIS'05 Committee
homepages.cs.ncl.ac.uk
Design, Specification and Verification of Interactive Systems:
DSVIS'05
See more posts from Karsten Loer - Yahoo Groups
groups.yahoo.com
Angelo, You can define a clock in the "global declarations" section. Such a clock can be accessed directly for the verification - see the Vikings example in the ...
2014GitHub Pages
lilicoding.github.io
Hall,CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. Karsten Loer,Michael D. Harrison,Towards Usable and Relevant Model ... › venues
Actual Causality Canvas: A General Framework for ...IOS Press
ebooks.iospress.nl
von A Ibrahim · · Zitiert von: 10 — [25] Peter Ladkin and Karsten Loer, 'Why-because analysis: Formal rea- soning about incidents', Bielefeld, Germany, Document RVS-Bk ,. › pdf › doi › FAIA
(IDEs) for Novice Users - The Journal of Object Technology
www.jot.fm
Campos José Creissac, Michael D. Harrison, and Karsten Loer, "Verifying User Interface Behaviour with Model Checking", Universidade Do Minho, Portugal.
Bibliography listing for J. C. Campos - CamposHL:04
www.di.uminho.pt
J. C. Campos, M. D. Harrison and Karsten Loer Verifying user interface behaviour with model checking. In J. C. Augusto and U. Ultes-Nitsche, editors, ...
ANALYSING DYNAMIC FUNCTION SCHEDULING DECISIONS
citeseerx.ist.psu.edu
von K Loer · Zitiert von: 5 — by Karsten Loer , Michael Hildebrandt , Michael Harrison. Citations: self · Summary · Citations · Active Bibliography · Co-citation ... › viewdoc
Bibliography listing for J. C. Campos - CamposHL:04uminho.pt
www.di.uminho.pt
J. C. Campos, M. D. Harrison and Karsten Loer Verifying user interface behaviour with model checking. In J. C. Augusto and U. Ultes-Nitsche, editors, ... › jfcbin
JOURNAL OF OBJECT TECHNOLOGY - PDF Free Download
docplayer.net
JOURNAL OF OBJECT TECHNOLOGY Online at Published by ETH Zurich, Chair of Software Engineering JOT, Vol. 7, ... Michael D. Harrison, and Karsten Loer, ...
sortiert nach Relevanz / Datum