Didier Bert

MaRDI QIDQ2722038zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A model inference system for generic specification with application to code sharing TAPSOFT '95: Theory and Practice of Software Development	2022-08-18	Paper
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions Lecture Notes in Computer Science	2007-11-29	Paper
GeneSyst: A tool to reason about behavioral aspects of B event specifications. Application to security properties Lecture Notes in Computer Science	2005-11-10	Paper
Specification and proof of liveness properties under fairness assumptions in B event systems Lecture Notes in Computer Science	2004-08-11	Paper
Construction of finite labelled transition systems from B abstract systems Lecture Notes in Computer Science	2004-07-30	Paper
Algebraic specification of operator-based multimedia scenarios Lecture Notes in Computer Science	2001-07-11	Paper
scientific article; zbMATH DE number 3942988 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3733235 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3679168 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3573241 (Why is no real title available?)	1977-01-01	Paper

Research outcomes over time

This page was built for person: Didier Bert