Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems [PDF]
, 2010 Many Distributed Real-Time Systems (DRTS), such as integrated modular avionics systems and distributed control systems in motor vehicles, are made up of a collection of components communicating asynchronously among themselves and with their environment
Meseguer, Jos??, Olveczky, Peter C.
core +1 more source
KOMUNIKASI INTERPERSONAL DALAM PENGELOLAAN KONFLIK SIBLING RELATIONSHIP DENGAN SAUDARA KANDUNG PENYANDANG AUTISME (Studi kasus pada saudara kandung di SLB C Autis Negeri Kedungkandang Kota Malang) [PDF]
, 2023 The presence of an autistic child in the family has a profound effect and affects sibling relationships. With siblings, especially in communication when sibling relationship conflicts occur. The aim of this research is to find out how to resolve conflict
Anugro, Veri Teguh
core
Using deterioration modelling to simulate sewer rehabilitation strategy with low data availability
Water Science and Technology, 2021 Most cities face the problem of an aging infrastructure in need of extensive and ongoing repair, renovation or replacement. Since the 1980s, CCTV has been the industry standard for sewer system inspection and the main source of information for structural
N. Caradot +5 more
doaj +1 more source
From Event-B models to Dafny code contracts [PDF]
, 2015 International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification
C.A.R. Hoare +11 more
core +1 more source
Mimbar Hukum, 2020 Ministerial Conference on Duty-Free Quota-Free (DFQF) in Hongkong, 2015, mandated for the developed countries to provide DFQF market access for at least 97 per cent of products originating from LDCs.
Veri Antoni
doaj +1 more source
Crypto-Verifying Protocol Implementations in ML [PDF]
, 2007 We intend to narrow the gap between concrete implementations and verified models of cryptographic protocols. We consider protocols implemented in F#, a variant of ML, and verified using CryptoVerif, Blanchet's protocol verifier for computational ...
Bhargavan, K., Corin, R.J., Fournet, C.
core +11 more sources
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus(FireWire)Protocol [PDF]
, 2003 We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled in Promela and verified using SPIN.
Calder, M., Miller, A.
core +3 more sources
THE POSITION OF INDIRECT EVIDENCE AS VERIFICATION TOOLS IN THE CARTEL CASE
Mimbar Hukum, 2014 Indirect (circumstantial) evidence, either economic evidence or communication evidence, has been used in cartel cases in many countries such as United States of America, Japan, Australia, Brazil, Malaysia, and others.
Veri Antoni
doaj +3 more sources
Turkish Journal of Forestry, 2019 In parallel with the increase in internet usage, people from different parts of the world can easily convey their thoughts and feelings on social issues through social media.
Selman KARAYILMAZLAR +7 more
doaj +1 more source
The Ocular Manifestations of Individuals With Down Syndrome: A Systematic Review and Meta-Analysis
Journal of OphthalmologyConclusions: The ocular manifestations of pwDS are common but varied. Age and/or ethnicity may influence the prevalence of certain ocular manifestations.
Jessica A. Beresford-Webb +6 more
doaj +1 more source