Control which is exerted by the more stable organizations of society, such as established institutions and the law. They are ordinarily embodied in definite codes, usually written
Control which is exerted by the more stable organizations of society, such as established institutions and the law. They are ordinarily embodied in definite codes, usually written
1
formal specification. : SysML for systems engineering : a model-based approach / Jon Holt and Simon Perry
2018
1
formal verification : Frontiers in hardware security and trust theory, design and practice edited by Chip Hong Chang, Yuan Cao
Formaldehyde -- adverse effects : Review of the Environmental Protection Agency's draft IRIS assessment of formaldehyde / Committee to Review EPA's Draft IRIS Assessment of Formaldehyde, Board on Environmental Studies and Toxicology, Division on Earth and Life Studies, National Research Council of the National Academies
Formaldehyde -- pharmacology -- United States : Review of the Environmental Protection Agency's draft IRIS assessment of formaldehyde / Committee to Review EPA's Draft IRIS Assessment of Formaldehyde, Board on Environmental Studies and Toxicology, Division on Earth and Life Studies, National Research Council of the National Academies
Formaldehyde -- toxicity -- United States : Review of the Environmental Protection Agency's draft IRIS assessment of formaldehyde / Committee to Review EPA's Draft IRIS Assessment of Formaldehyde, Board on Environmental Studies and Toxicology, Division on Earth and Life Studies, National Research Council of the National Academies
Programmanalyse -- Formale Methode -- Sani <2008>. : Leveraging applications of formal methods, verification and validation. Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.)
2008
1
Programmverifikation -- Formale Methode -- Sani <2008>. : Leveraging applications of formal methods, verification and validation. Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.)
2008
1
Softwareentwicklung -- Formale Methode -- Sani <2008>. : Leveraging applications of formal methods, verification and validation. Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.)
Formale Ontologie : Formal ontology in information systems : proceedings of the fourth international conference (FOIS 2006) / edited by Brandon Bennett, Christiane Fellbaum
Scales, questionnaires, tests, and other methods used to assess pain severity and duration in patients or experimental animals to aid in diagnosis, therapy, and physiological studies
