A Correct-By-Construction Model for Asynchronously Communicating Systems

International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-016-0421-6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Asynchronously Communicating Visibly Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Compatibility Checking for Asynchronously Communicating Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Analyzing Interactions of Asynchronously Communicating Software Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Model of Plant Virus Disease Epidemics in Asynchronously-Planted Cropping Systems

Plant Pathology
HorticulturePlant ScienceAgronomyCrop ScienceGenetics
1997English

Communicating Shared Resources: A Model for Distributed Real-Time Systems

English

ARC: A Specification Language for Communicating Systems

Computer Journal
Computer Science
1998English

An Iterative Abstraction Algorithm for Reactive Correct-By-Construction Controller Synthesis

2015English

On the Construction of Correct Mathematical Model of Chemical Kinetics

Vestnik Udmurtskogo Universiteta: Matematika, Mekhanika, Komp'yuternye Nauki
Transfer ProcessesMathematicsFluid FlowComputer Science
2012English

A Systems Model of a Construction Firm

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy