Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030549961, 9783030549978
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reversible Programs Have Reversible Semantics

2020 ◽  
pp. 413-427
Author(s):  
Robert Glück ◽  
Robin Kaarsgaard ◽  
Tetsuo Yokoyama

Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study

2020 ◽  
pp. 388-405
Author(s):  
Tobias Runge ◽  
Thomas Thüm ◽  
Loek Cleophas ◽  
Ina Schaefer ◽  
Bruce W. Watson
Keyword(s):  
User Study ◽  
Post Hoc

Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation

2020 ◽  
pp. 237-253
Author(s):  
Ken Pierce ◽  
Carl Gamble ◽  
David Golightly ◽  
Roberto Palacín
Keyword(s):  
Cyber Physical Systems ◽  
Human Behaviour ◽  
Physical Systems

A Survey of Learning Methods in Open Source Software

2020 ◽  
pp. 157-166
Author(s):  
Aidarbek Suleimenov ◽  
Assiya Khuzyakhmetova ◽  
Antonio Cerone
Keyword(s):  
Open Source ◽  
Open Source Software ◽  
Learning Methods

scholarly journals A Map of Asynchronous Communication Models

2020 ◽  
pp. 307-322
Author(s):  
Florent Chevrou ◽  
Aurélie Hurault ◽  
Shin Nakajima ◽  
Philippe Quéinnec
Keyword(s):  
Asynchronous Communication ◽  
Communication Models

From Manuscripts to Programming Languages: An Archivist Perspective

2020 ◽  
pp. 95-102
Author(s):  
Alexandra Vidal ◽  
Ana Sandra Meneses ◽  
António Sousa
Keyword(s):  
Programming Languages

PrideMM: Second Order Model Checking for Memory Consistency Models

2020 ◽  
pp. 507-525
Author(s):  
Simon Cooksey ◽  
Sarah Harris ◽  
Mark Batty ◽  
Radu Grigore ◽  
Mikoláš Janota
Keyword(s):  
Model Checking ◽  
Second Order ◽  
Memory Consistency ◽  
Order Model ◽  
Memory Consistency Models ◽  
Consistency Models ◽  
Second Order Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document