Amanote Research

Amanote Research

    RegisterSign In

Specifying and Analysing SOC Applications With COWS

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-68679-8_43
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2008

Authors
Alessandro LapadulaRosario PuglieseFrancesco Tiezzi
Publisher

Springer Berlin Heidelberg


Related search

Specifying and Analysing Trust for Internet Applications

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2003English

Specifying Internet Applications With DiCons

2001English

Specifying and Developing TINA Applications With ACE

English

On Specifying Services and Synthesizing Protocols for Real-Time Applications

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1995English

Zero Adjusted Models With Applications to Analysing Helminths Count Data

BMC Research Notes
BiochemistryMedicineGeneticsMolecular Biology
2014English

Analysing and Enriching Focused Semantic Web Archives for Parliament Applications

Future Internet
Computer NetworksCommunications
2014English

Analysing the Effect of Supplementing Rumen Protected Choline With Green Tea Extract in Transition Karan Fries Cows

International Journal of Current Microbiology and Applied Sciences
2019English

Specifying and Verifying Systems With Multiple Clocks

English

Run-Time Mapping of Applications to a Heterogeneous SoC

2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy