6 Hits in 4.7 sec

Validating Multiple Variants of an Automotive Light System with Electrum [chapter]

Alcino Cunha, Nuno Macedo, Chong Liu
2020 Lecture Notes in Computer Science  
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

Jouke Stoel, Tijs van der Storm, Jurgen Vinju
2021 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)  
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

Relly Victoria Virgil Petrescu, Raffaella Aversa, Shuhui Li, MirMilad Mirsayar, Ronald Bucinell, Samuel P. Kozaitis, Taher M. Abu-Lebdeh, Antonio Apicella, Florian Ion Tiberiu Petrescu
2017 American Journal of Engineering and Applied Sciences  
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

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.  ... 

Manchurian Atlas: Competitive Geopolitics, Planned Industrialization, and the Rise of Heavy Industrial State in Northeast China, 1918-1954 [article]

Hai Zhao
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

Aglika Kaneva, Unwe
2014 unpublished
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.  ...