Ferhat Khendek

From MaRDI portal



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!

PublicationDate of PublicationType
A dynamic evolution for the specifications of distributed systems2024-06-21Paper
Comparing redundancy models for high availability middleware
Computing
2015-01-26Paper
A semantics for timed MSC
Electronic Notes in Theoretical Computer Science
2013-07-24Paper
Partial order semantics for use case and task models
Formal Aspects of Computing
2011-05-30Paper
Compositional Testing of Communication Systems
Lecture Notes in Computer Science
2007-05-02Paper
scientific article; zbMATH DE number 2043470 (Why is no real title available?)2004-02-16Paper
Time consistency of MSC-2000 specifications.
Computer Networks
2003-08-13Paper
scientific article; zbMATH DE number 1951534 (Why is no real title available?)2003-07-21Paper
scientific article; zbMATH DE number 1951543 (Why is no real title available?)2003-07-21Paper


Research outcomes over time


This page was built for person: Ferhat Khendek