A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Validating Multiple Variants of an Automotive Light System with Electrum
[chapter]
2020
Lecture Notes in Computer Science
Preserved Fulltext
This paper reports on the development and validation of a formal model for an automotive adaptive exterior lights system (ELS) with multiple variants in Electrum, a lightweight formal specification language ...
The resulting ELS model was validated against the provided validation sequences and verified for most of requirements for all variants. ...
This paper reports the modelling and subsequent validation and verification of an adaptive exterior lights system (ELS) with multiple variants in Electrum 1 , carried out as an answer to the ABZ'20 call ...
doi:10.1007/978-3-030-48077-6_26
fatcat:fdegga4b75h7bc7lmi767iumce
Modeling with Mocking
2021
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
But having an incomplete description of the desired system is not enough for this purpose. In this work we introduce the REBEL2 specification language. ...
REBEL2 lets the user write full system specifications in the form of state machines with data without the need to apply abstraction while still preserving the ability to verify non-trivial properties. ...
ACKNOWLEDGEMENT We would like to express our gratitude to Rene Niekel of ING for his collaboration and feedback. ...
doi:10.1109/icst49551.2021.00018
fatcat:plipbcwoxve6rbqddmf6j3jbwi
Electron Dimensions
2017
American Journal of Engineering and Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Using the theory of Louis de Broglie, which shows impulse preservation, the wavelength (associated with the particle) was calculated. ...
The wave frequency (associated with the moving electron) was determined and the moving electron kinetic energy was estimated by decreasing the total resting energy of the electron from the total energy ...
In 1950, Alfred Kastler (winner of the Nobel Prize for Physics in 1966) proposed an optical pumping process, which he experimentally validated two years later with Brossel and Winter. ...
doi:10.3844/ajeassp.2017.584.602
fatcat:ez2p3frnufbu3nf3irvebyzuva
State Higher Educational Institution National Mining University
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The tutorial is dedicated for students, masters and postgraduates of higher educational establishments studying "Mining" with learning of professional English language. ...
The materials concerning global importance of mineral resources in the society life, their amount, origin, classification of deposits and economical aspects are presented. ...
Validation and verification of an analysis can be tested through modeling and computer simulation.
2. ...
fatcat:cdvhgm5lhred5lw6kjwx3jm4vi
Manchurian Atlas: Competitive Geopolitics, Planned Industrialization, and the Rise of Heavy Industrial State in Northeast China, 1918-1954
[article]
2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
am grateful to Professor Yiching Wu of the University of Toronto for sharing his struggle and triumph with me. ...
Their unwavering trust and support was the shining beacon of hope that led me out of the treacherous waters. ...
ACKNOWLEDGEMENTS It has been an odyssey for me. The University of Chicago has become both a source of my intellectual curiosity and a ladder I had to overcome. ...
doi:10.6082/m1qc01dx
fatcat:hrv74fol6rhu5p7qfbtakdpd2u
Comparative Analysis Of The Absorption Of The Resources From The European Structural And Investment Funds In Bulgaria And Romania During Programming Period
2014
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Most of the contributions deal with the problems of the impact of EU policies after the 10 years of EU membership of Bulgaria and Romania, the economic development of the two countries as EU member states ...
Just like the conference itself, the cur rent edition offers an interesting mixture of scientific information, research approaches and achievements. ...
It also states that if the value of the assets of a specific company drops below the nominal value of its debt it falls into an insolvency. ...
fatcat:y7cj4u76ubbw7ctitawyedm7j4