Cargando…

The formal specification of the requirements of complex real-time systems

Detalles Bibliográficos
Autores principales:	Quirk, W J, Gilbert, R P
Lenguaje:	eng
Publicado:	United Kingdom. At. Energy Res. Establ. Comp. Sci. Syst. Div. 1977
Materias:	Health Physics and Radiation Effects
Acceso en línea:	http://cds.cern.ch/record/118494

Ejemplares similares

The automatic analysis of formal real-time system specifications
por: Quirk, W J
Publicado: (1978)

4th IFAC Workshop on Safety of Computer Control Systems
por: Quirk, William J
Publicado: (1985)

Real-time BCI system design to control Arduino based speed controllable robot using EEG
por: Das, Swagata, et al.
Publicado: (2018)

Treatment Planning Systems for BNCT: Requirements and Peculiarities
por: Daquino, G G
Publicado: (2003)

Regulations for the safe transport of radioactive material: 2012 edition : specific safety requirements
por: International Atomic Energy Agency. Vienna
Publicado: (2012)

Requirements for radiation protection
por: Gobel, K
Publicado: (1971)

Dosimeter characteristics: dosimeter and service performance requirements
por: Ambrosi, P, et al.
Publicado: (1998)

Real solids and radiation
por: Hughes, A E, et al.
Publicado: (1975)

Basic requirements for personnel monitoring: a code of practice
por: International Atomic Energy Agency. Vienna
Publicado: (1980)

Assessment of the requirements for the thermoluminescent dosimeters (LTD) during LHC Operation
por: Perrot, Anne Laure, et al.
Publicado: (2005)

Schedules of requirements for the transport of specified types of radioactive material consignments
por: International Atomic Energy Agency. Vienna
Publicado: (1986)

Measurement of linear energy transfer distribution at CERN-EU high- energy reference field facility with real-time radiation monitoring device III and its comparison with dosimetric telescope
por: Doke, T, et al.
Publicado: (2004)

Symposium on Radiation Dose Measurements : their Purpose, Interpretation and Required Accuracy in Radiological Protection
por: Collective
Publicado: (1967)

International Conference on Cosmic Radiation and Aircrew Exposure : Implementation of European Requirements in Civil Aviation
por: Collective
Publicado: (1999)

Global costs and construction time schedule
por: Amaldi, Ugo, et al.
Publicado: (1995)

Genetic toxicology of complex mixtures
por: Waters, Michael, et al.
Publicado: (1990)

Comparison of the biodistribution of $^{225}$Ac and radiolanthanides as citrate complexes
por: Beyer, Gerd-Jürgen, et al.
Publicado: (1990)

Civil engineering: auxiliary systems
por: Campi, D, et al.
Publicado: (1995)

Geometry of biological time
por: Winfree, Arthur T
Publicado: (1980)

Control and safety systems of the compact accelerator
por: Benincasa, G P, et al.
Publicado: (1996)

ATLAS monitored drift tube long-term stability and aging study performed for the first time with the gas-recirculation system planned for LHC
por: Zimmermann, S, et al.
Publicado: (2004)

Radiation protection systems for the Final Focus test beam
por: Rokni, S H, et al.
Publicado: (1995)

Monte Carlo simulations of the complex field in the LHC radiation test facility at CERN
por: Tsoulou, A, et al.
Publicado: (2004)

A model for the accumulation of cases of pulmonary malignancy in time when dose is accumulated in time
por: Stewart, C
Publicado: (1983)

Absorbed-dose specification in nuclear medicine
por: International Commission on Radiation Units and Measurements. Bethesda
Publicado: (2002)

The CERN radiation monitor and alarm system for experimental areas
por: Rau, G, et al.
Publicado: (1984)

11th Conference on Radiation and its Effects on Components and Systems
por: Schwank, J R, et al.
Publicado: (2011)

Radiation protection systems for the Final Focus Test Beam at SLAC
por: Rokni, S H, et al.
Publicado: (1996)

Testing the atmospheric dispersion model of CSA N288.1 with site-specific data
por: Chouhan, S L, et al.
Publicado: (2001)

Complex workplace radiation fields at European high-energy accelerators and thermonuclear fusion facilities
por: Bilski, P, et al.
Publicado: (2006)

Complex Systems Analysis of Cell Cycling Models in Carcinogenesis:II. Cell Genome and Interactome, Neoplastic Non-random Transformation Models in Topoi with Lukasiewicz-Logic and MV Algebras
por: Baianu, I C
Publicado: (2004)

Control system
por: Canella, S, et al.
Publicado: (1995)

Workshop on Radiation and its Effects on Composents ans Systems
por: Schwank, J R, et al.
Publicado: (2009)

Bioinformatics techniques for drug discovery: applications for complex diseases
por: Kaushik, Aman Chandra, et al.
Publicado: (2018)

dose and volume specification for reproting interstitial therapy
por: International Commission on Radiation Units and Measurements. Bethesda
Publicado: (1997)

Specification of high activity gamma-ray sources
por: International Commission on Radiation Units and Measurements. Bethesda
Publicado: (1970)

System safety: planning, engineering, management
por: Malasky, Sol W
Publicado: (1974)

10th European Conference on Radiation and Its Effects on Components and Systems
por: Schwank, J R, et al.
Publicado: (2010)

A computational method to assess the time elapsed since exposure using thermoluminescence dosemeters
por: Furetta, C, et al.
Publicado: (1985)

Nuclear accident dosimetry systems
por: Holt, P D, et al.
Publicado: (1978)

Cannot write session to /tmp/vufind_sessions/sess_r6hpfhnanhqafc0g295t0q90hn