Distibuted Systems

In todays digital environment, distributed systems are increasingly present in a wide variety of ...

Models and Analysis for Distributed Systems

Nowadays, distributed systems are increasingly present, for public software applications as well ...

Embedded Systems

Since the construction of the first embedded system in the 1960s, embedded systems have contin...

Embedded Systems

Since the construction of the first embedded system in the 1960s, embedded systems have contin...

Models and Analysis for Distributed Systems

Nowadays, distributed systems are increasingly present, for public software applications as well ...

Distibuted Systems

In todays digital environment, distributed systems are increasingly present in a wide variety of ...

Transactions on Petri Nets and Other Models of Concurrency XVIII

Application and Theory of Petri Nets and Concurrency

This book constitutes the proceedings of the 37th International Conference on Application and The...

Reliable Software Technologies - Ada-Europe 2008

th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2...

Reliable Software Technologies - Ada-Europe 2007

Reliable Software Technologies is an annual series of international conferences devoted to the pr...

Reliable Software Technologies - Ada-Europe 2009

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable...

Challenges and Opportunity with Big Data

This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Mont...