Adding Proof Calculi to Epistemic Logics with Structured Knowledge

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	FSEN (9. : 2021 : Online) Fundamentals of Software Engineering
1. Verfasser:	Benevides, Mario (VerfasserIn)
Weitere Verfasser:	Madeira, Alexandre (VerfasserIn), Martins, Manuel A. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Automated Replication of Tuple Spaces via Static Analysis	2021	Uwimbabazi, Aline
Deadlock in Packet Switching Networks	2021	Stramaglia, Anna
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification	2021	Zyubin, Vladimir
Solving Systems of Bilinear Equations for Transition Rate Reconstruction	2021	Soltanieh, Amin
Protocol Scheduling	2021	Dokter, Kasper
Incremental Refinement of Goal Models with Contracts	2021	Mallozzi, Piergiuseppe
Introducing Interval Differential Dynamic Logic	2021	Figueiredo, Daniel
A Program Logic for Fresh Name Generation	2021	Eliott, Harold Pancho
Extending OCL with Map and Function Types	2021	Lano, Kevin
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays	2021	Maille, Amaury
Compressing Automatically Generated Unit Test Suites Through Test Parameterization	2021	Azamnouri, Aidin
Systematic Extraction of Tests from Object-Oriented Programs	2021	Ghoreshi, Mohammad
Adding Proof Calculi to Epistemic Logics with Structured Knowledge	2021	Benevides, Mario
Runtime Monitoring Processes Across Blockchains	2021	Azzopardi, Shaun
Term Rewriting on GPUs	2021	Eerd, Johri van
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications	2021	Zakeriyan, Arvin