Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by N.A. lopek
Verification of SBL Models by Mobile SODAR Measurements
International Journal of Environment and Pollution
Management
Monitoring
Waste Management
Disposal
Policy
Law
Pollution
Related publications
Validating Timed UML Models by Simulation and Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Vertical Structure of the Stable Boundary Layer Detected by RASS-SODAR and In-Situ Measurements in SABLES 2006 Field Campaign
Acta Geophysica
Geophysics
An Algebraic Verification of a Mobile Network
Formal Aspects of Computing
Theoretical Computer Science
Software
Vertical Structure of the Stable Boundary Layer Detected by RASS-SODAR and In-Situ Measurements in SABLES 2006 Field Campaign
Acta Geophysica
Geophysics
Verification and Validation of Simulation Models
European Journal of Operational Research
Information Systems
Simulation
Management Science
Management
Computer Science
Modeling
Operations Research
Validation and Verification of Simulation Models
Verification Methodology for DEVS Models
Formal Verification of AADL Models Using UPPAAL
Interdaily Variations of Three Wind Velocity Components Retrieved From Long-Term Continuous Mini-Sodar Measurements in the ABL
Izvestiya vysshikh uchebnykh zavedenii. Fizika
