標(biāo)題: Titlebook: NASA Formal Methods; 8th International Sy Sanjai Rayadurgam,Oksana Tkachuk Conference proceedings 2016 Springer International Publishing Sw [打印本頁] 作者: 宗派 時(shí)間: 2025-3-21 18:58
書目名稱NASA Formal Methods影響因子(影響力)
書目名稱NASA Formal Methods影響因子(影響力)學(xué)科排名
書目名稱NASA Formal Methods網(wǎng)絡(luò)公開度
書目名稱NASA Formal Methods網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱NASA Formal Methods被引頻次
書目名稱NASA Formal Methods被引頻次學(xué)科排名
書目名稱NASA Formal Methods年度引用
書目名稱NASA Formal Methods年度引用學(xué)科排名
書目名稱NASA Formal Methods讀者反饋
書目名稱NASA Formal Methods讀者反饋學(xué)科排名
作者: intercede 時(shí)間: 2025-3-21 22:22
vironments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published research papers and progress reports, and archival documentations. These three international publications are integrated and scheduled to provide the coherency essent作者: 強(qiáng)制性 時(shí)間: 2025-3-22 00:26 作者: ureter 時(shí)間: 2025-3-22 04:41 作者: Budget 時(shí)間: 2025-3-22 11:07
i- ronments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published research papers and progress reports, and archival documentations. These three international publications are integrated and scheduled to provide the coherency essent作者: 旋轉(zhuǎn)一周 時(shí)間: 2025-3-22 14:05 作者: 冷峻 時(shí)間: 2025-3-22 18:09
opportunities because they combine the properties of amines and alcohols. Ethanolamines exhibit the unique capability of undergoing reactions common to both groups. As amines, they are mildly alkaline and react with acids to form salts or soaps. As alcohols, they are hygroscopic and can be esterifi作者: Ptosis 時(shí)間: 2025-3-22 21:50
Adam Nellis,Pascal Kesseli,Philippa Ryan Conmy,Daniel Kroening,Peter Schrammel,Michael Tautschnigi- ronments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published research papers and progress reports, and archival documentations. These three international pUblications are integrated and scheduled to provide the coherency essent作者: 推崇 時(shí)間: 2025-3-23 03:36
Meng Wu,Haibo Zeng,Chao Wangbiotic envi- ronments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published research papers and progress reports, and archival documentations. These three international pUblications are integrated and scheduled to provide the cohere作者: Self-Help-Group 時(shí)間: 2025-3-23 05:39
Srinivas Pinisetty,Stavros Tripakisctively), are selectively highly toxic to most annual and perennial dicotyledonous species and relatively nontoxic to monocotyledonous plants (Loos 1975a). The present review summarizes mainly recent developments on the microbial degradation of 2,4-D in soil. Cheng and Lehmann (1985) defined degrada作者: HAUNT 時(shí)間: 2025-3-23 11:35 作者: 設(shè)施 時(shí)間: 2025-3-23 15:24 作者: objection 時(shí)間: 2025-3-23 18:44 作者: 600 時(shí)間: 2025-3-23 22:23
Susmit Jha,Vasumathi Ramanumerous food and nonfood crops including deciduous fruit and nuts, vines, strawberries, field crops, vegetables, tobacco, tree nurseries, and numerous other specialty crops. Soil fumigant formulations have historically varied in DCP content from 50% to 97% purity as approximately equal amounts of .-作者: Critical 時(shí)間: 2025-3-24 06:18
Yi-Chin Wu,Vasumathi Raman,Stéphane Lafortune,Sanjit A. Seshiaumerous food and nonfood crops including deciduous fruit and nuts, vines, strawberries, field crops, vegetables, tobacco, tree nurseries, and numerous other specialty crops. Soil fumigant formulations have historically varied in DCP content from 50% to 97% purity as approximately equal amounts of .-作者: Promotion 時(shí)間: 2025-3-24 09:07 作者: Herd-Immunity 時(shí)間: 2025-3-24 11:29 作者: inconceivable 時(shí)間: 2025-3-24 18:49 作者: 描述 時(shí)間: 2025-3-24 19:21
Temporal Logic Framework for Performance Analysis of Architectures of Systemsod interestingly combines temporal aspects (for the description of the complex system) and probabilities (to represent performance). The system’s task to be evaluated is described using a temporal language, the ATLAS language: the architecture of the task is decomposed into elementary functionalitie作者: MILK 時(shí)間: 2025-3-25 03:12 作者: indicate 時(shí)間: 2025-3-25 07:13 作者: 無思維能力 時(shí)間: 2025-3-25 07:33
Assisted Coverage Closureed according to domain specific guidance, such as ISO26262 for automotive safety. This paper describes academic and industrial co-operation in?tool development to support one of the most stringent of the requirements — achieving full code coverage in requirements-driven testing. We present a verific作者: fixed-joint 時(shí)間: 2025-3-25 14:21 作者: 漂浮 時(shí)間: 2025-3-25 18:04
Compositional Runtime Enforcementt monitor modifies an (untrusted) sequence of events into a sequence that complies to that property. In practice, we may have not one, but many properties to enforce. Moreover, new properties may arise as new capabilities are added to the system. It then becomes interesting to be able to build not a作者: HOWL 時(shí)間: 2025-3-25 20:02 作者: sacrum 時(shí)間: 2025-3-26 01:37
The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tesd test generation is an effective approach for generating structurally complex inputs for systematic testing. While this approach can typically generate large numbers of tests, it has limited scalability – tests generated are usually only up?to a small bound on input size. Combinatorial test generat作者: Presbycusis 時(shí)間: 2025-3-26 04:51 作者: 老巫婆 時(shí)間: 2025-3-26 09:14
Obfuscator Synthesis for Privacy and Utilityconsider plants modeled as finite automata with pre-defined secret behaviors. A given plant generates event strings for some useful computation, but meanwhile wants to hide its secret behaviors from any outside observer. We formally capture the privacy and utility specifications using the automaton 作者: flavonoids 時(shí)間: 2025-3-26 13:36 作者: CUMB 時(shí)間: 2025-3-26 18:01
EventB2Java: A Code Generator for Event-Becuted. An executable formal specification provides insight on the behaviour of the system being modelled . an expected behaviour. This paper presents a tool that generates executable implementations of Event-B models. The tool is implemented as a plug-in of the Rodin platform, an Eclipse IDE that p作者: insolence 時(shí)間: 2025-3-26 23:46 作者: inclusive 時(shí)間: 2025-3-27 05:05
Probabilistic Formal Verification of the SATS Concept of Operationanced small aircraft operating in non-towered non-radar airports. Given the safety-critical nature of SATS, its analysis accuracy is extremely important. However, the commonly used analysis techniques, like simulation and traditional model checking, do not ascertain a complete verification of SATS d作者: Albumin 時(shí)間: 2025-3-27 08:11
Conference proceedings 2016ical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.?.作者: FLORA 時(shí)間: 2025-3-27 12:24 作者: lanugo 時(shí)間: 2025-3-27 15:58 作者: 凈禮 時(shí)間: 2025-3-27 17:49 作者: Limpid 時(shí)間: 2025-3-28 01:38 作者: 耐寒 時(shí)間: 2025-3-28 02:17
ARSENAL: Automatic Requirements Specification Extraction from Natural Languageage (NL) requirements into analyzable formal models and logic specifications. These models can be analyzed for consistency and implementability. The ARSENAL methodology is specialized to individual domains, but the approach is general enough to be adapted to new domains.作者: COM 時(shí)間: 2025-3-28 09:26 作者: 駁船 時(shí)間: 2025-3-28 11:22 作者: Heart-Attack 時(shí)間: 2025-3-28 16:14
0302-9743 held in Minneapolis, MN, USA, in June 2016.. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and 作者: Arthropathy 時(shí)間: 2025-3-28 19:04 作者: 乏味 時(shí)間: 2025-3-29 01:31
Assisted Coverage Closureses, as well as justifying the presence of unreachable parts of the code in order to finally achieve full . coverage according to the required criteria. We illustrate the tool’s practical utility on automotive industry benchmarks. It generates 8. more MC/DC coverage than random search.作者: Motilin 時(shí)間: 2025-3-29 05:22
Synthesizing Runtime Enforcer of Safety Properties Under Burst Error or do not handle burst error. We have implemented our method in a synthesis tool and evaluated it on a set of temporal logic specifications. Our experiments show that the enforcer synthesized by our method can robustly handle a wide range of properties under burst error.作者: 礦石 時(shí)間: 2025-3-29 09:38 作者: 針葉樹 時(shí)間: 2025-3-29 12:31
Code Generation Using a Formal Model of Reference Countingl of reference counting is in soundly translating programs from a high-level functional language, in our case, an executable fragment of the PVS specification language, to efficient code with a compact footprint in a small subset of a low-level imperative language like ..作者: MILK 時(shí)間: 2025-3-29 15:59 作者: 比賽用背帶 時(shí)間: 2025-3-29 21:14
is unlikely that organisms at higher trophic levels would be adversely affected. Measurements of chlorpyrifos residues in fish have shown both low probability and low concentrations of exposure (.). Insufficient data on amphibians were available for a direct assessment of risks. A risk assessment of作者: 陶器 時(shí)間: 2025-3-30 02:27 作者: 可以任性 時(shí)間: 2025-3-30 04:59 作者: Synchronism 時(shí)間: 2025-3-30 10:43 作者: Organonitrile 時(shí)間: 2025-3-30 13:19
alty cleaner formulations, in which they are used to form various amine salts and to control pH; and a slew of other applications ranging from concrete admixtures to flexible urethane foam catalysts to pharmaceuticals to agricultural chemicals and photographic emulsions (Dow Chemical 1988; Howe-Gran作者: 有毒 時(shí)間: 2025-3-30 17:26 作者: Noctambulant 時(shí)間: 2025-3-30 23:19
