Rigorous State-Based Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030480769, 9783030480776
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Experiences on Teaching Alloy with an Automated Assessment Platform

2020 ◽  
pp. 61-77
Author(s):  
Nuno Macedo ◽  
Alcino Cunha ◽  
José Pereira ◽  
Renato Carvalho ◽  
Ricardo Silva ◽  
...  
Keyword(s):  
Automated Assessment

scholarly journals Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering

2020 ◽  
pp. 27-43
Author(s):  
Robert Clarisó ◽  
Jordi Cabot
Keyword(s):  
Graph Kernels

scholarly journals Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

2020 ◽  
pp. 186-202
Author(s):  
Fatima Shokri-Manninen ◽  
Leonidas Tsiopoulos ◽  
Jüri Vain ◽  
Marina Waldén
Keyword(s):  
Real Time ◽  
Timed Automata ◽  
Real Time Systems ◽  
Concurrent Processes ◽  
Time Systems

scholarly journals Analysing ProB’s Constraint Solving Backends

2020 ◽  
pp. 107-123
Author(s):  
Jannik Dunkelau ◽  
Joshua Schmidt ◽  
Michael Leuschel
Keyword(s):  
Constraint Solving

scholarly journals Event-B: From Systems to Sub-systems Modeling

2020 ◽  
pp. 418-422
Author(s):  
Kenza Kraibi
Keyword(s):  
Systems Modeling

scholarly journals A Characterization of Distributed ASMs with Partial-Order Runs

2020 ◽  
pp. 78-92
Author(s):  
Egon Börger ◽  
Klaus-Dieter Schewe
Keyword(s):  
Partial Order

scholarly journals Formal Verification of Interoperability Between Future Network Architectures Using Alloy

2020 ◽  
pp. 44-60 ◽  
Author(s):  
Mohammad Jahanian ◽  
Jiachen Chen ◽  
K. K. Ramakrishnan
Keyword(s):  
Formal Verification ◽  
Network Architectures

scholarly journals Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

2020 ◽  
pp. 169-185
Author(s):  
Guillaume Dupont ◽  
Yamine Aït-Ameur ◽  
Marc Pantel ◽  
Neeraj K. Singh
Keyword(s):  
Hybrid Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document