Formal Techniques for Networked and Distributed Systems - FORTE 2005 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

44
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540291893, 9783540320845
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Logic and Model Checking for Hidden Markov Models

2005 ◽  
pp. 98-112 ◽  
Author(s):  
Lijun Zhang ◽  
Holger Hermanns ◽  
David N. Jansen
Keyword(s):  
Model Checking ◽  
Hidden Markov Models ◽  
Markov Models ◽  
Hidden Markov

A Hierarchy of Implementable MSC Languages

2005 ◽  
pp. 53-67 ◽  
Author(s):  
Benedikt Bollig ◽  
Martin Leucker

scholarly journals Thread Allocation Protocols for Distributed Real-Time and Embedded Systems

2005 ◽  
pp. 159-173 ◽  
Author(s):  
César Sánchez ◽  
Henny B. Sipma ◽  
Venkita Subramonian ◽  
Christopher Gill ◽  
Zohar Manna
Keyword(s):  
Embedded Systems ◽  
Real Time

scholarly journals Towards Synchronizing Linear Collaborative Objects with Operational Transformation

2005 ◽  
pp. 411-427 ◽  
Author(s):  
Abdessamad Imine ◽  
Pascal Molli ◽  
Gérald Oster ◽  
Michaël Rusinowitch
Keyword(s):  
Operational Transformation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document