Skip to content
<title>Channels - Building Specifications in the Event-B Institution :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Building Specifications in the Event-B Institution
Search for more channels:
Similar Items: Building Specifications in the Event-B Institution
Channel Options
View Record
Explore related channels
Quick Look
Games and Strategies as Event Structures
Quick Look
Dynamic Causality in Event Structures
Quick Look
Representing Dependencies in Event Structures
Quick Look
Simulations for Event-Clock Automata
Quick Look
Event Structures for Petri nets with Persistence
Quick Look
Novelty Detection in Event Surveillance Documents
Quick Look
Building a Data Science Department in a Research Institution
Quick Look
Revitalizing Night Hours: Building Community Through Interactive Events and Gatherings
Quick Look
On properties of $B$-terms
Quick Look
A new operational representation of dependencies in Event Structures
Quick Look
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Quick Look
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Quick Look
SerializableSimpy: Parallel and Serializable Discrete-Event Simulation in Python
Quick Look
Building Trustworthy AI in Healthcare
Quick Look
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
Quick Look
Explainable Topic Modeling for Tracking User Interests Related to Social Events
Quick Look
Specification and Verification of Timing Properties in Interoperable Medical Systems
Quick Look
Stream Differential Equations: Specification Formats and Solution Methods
Quick Look
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Quick Look
Build your own clarithmetic II: Soundness
Quick Look
Adaptive Event-Triggered Bipartite Consensus of Matrix-Weighted Linear Multi-Agent Systems
Quick Look
Event-Triggered Matrix-Scaled Bipartite Consensus of Matrix-Weighted Multi-Agent Networks
Quick Look
Adaptive Fault-Tolerant Containment Control of Multiagent Systems With Dynamic Event-Triggering Strategies
Quick Look
BayCauRETM: R package for Bayesian Causal Inference for Recurrent Event Outcomes
Load more items
View Record
Prev
Explore related channels
Next
