Ferhat Khendek

From MaRDI portal
Person:488863


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 systems
 
2024-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