• Suche: Development of automatic program verification for continuous function chart based on model checking

Treffer 1 - 20 von 7.599

1

Construction of CFC-programs by LTL-specification ; Построение CFC-программ ПЛК по LTL-спецификации
D. A. Ryabukhin ; E. V. Kuzmin ; V. A. Sokolov ; et al.
Modeling and Analysis of Information Systems; Том 23, № 2 (2016); 173-184 ; Моделирование и анализ информационных систем; Том 23, № 2 (2016); 173-184 ; 2313-5417 ; 1818-1015

CFC-диаграммы construction and verific... LTL-specification CFC-diagrams построение и верификация... LTL-спецификация...
Fachzeitschrift
Merkliste
2

Towards an approach of synthesis, validation and implementation of distributed control for AMS by using events ordering relations.
Qamsane, Yassine ; Tajer, Abdelouahed ; Philippot, Alexandre
International Journal of Production Research. 11/1/2017, Vol. 55 Issue 21, p6235-6253. 19p.

Fachzeitschrift
Merkliste
3

POSTER PRESENTATIONS.
Pacing & Clinical Electrophysiology. Nov2011, Vol. 34 Issue 11, p1362-1451. 90p.

GREECE ARRHYTHMIA CARDIAC pacing CONFERENCES & convention... ELECTROPHYSIOLOGY
Fachzeitschrift
Merkliste
4

Dieses Ergebnis kann Gästen nicht angezeigt werden.

5

Symmetry in Temporal Logic Model Checking.
ACM Computing Surveys. Sep2006, Vol. 38 Issue 3, p1-36. 36p.

Fachzeitschrift
Merkliste
6

Toward developing a predictive model for interpersonal communication quality in construction projects: an ensemble artificial intelligence-based approach
Engineering, Construction and Architectural Management, 2025, Vol. 32, Issue 10, pp. 7032-7061.

Fachzeitschrift
Merkliste
7

Blockchain-based solution to enhance carbon footprint traceability, accounting, and offsetting in the passenger aviation industry.
Patro, Pratyush Kumar ; Jayaraman, Raja ; Acquaye, Adolf ; et al.
International Journal of Production Research. Nov2025, Vol. 63 Issue 22, p8235-8268. 34p.

Fachzeitschrift
Merkliste
8

Application of Immunological and Swarm Intelligence Learning-Based Algorithm for Industrial Grade Computer Sales Prediction.
Chen, Zhen-Yao
Applied Artificial Intelligence. Dec2025, Vol. 39 Issue 1, p1-33. 33p.

Fachzeitschrift
Merkliste
9

GENERATIVE MISINTERPRETATION.
GRIMMELMANN, JAMES ; SOBEL, BENJAMIN L. W. ; STEIN, DAVID
Harvard Journal on Legislation. 2026, Vol. 63 Issue 1, p229-308. 80p.

Fachzeitschrift
Merkliste
10

Career Guidance and Employment Issues for Neurodivergent Individuals: A Scoping Review and Stakeholder Consultation.
Bölte, Sven ; Carpini, Joseph Alexander ; Black, Melissa H. ; et al.
Human Resource Management. Jan2025, Vol. 64 Issue 1, p201-227. 27p.

Fachzeitschrift
Merkliste
11

State-of-the-Art and Challenges of Engineering ML- Enabled Software Systems in the Deep Learning Era.
Assres, Gebremariam ; Bhandari, Guru ; Shalaginov, Andrii ; et al.
ACM Computing Surveys. Oct2025, Vol. 57 Issue 10, p1-35. 35p.

Fachzeitschrift
Merkliste
12

BUILDING INCLUSIVE MARKETS: A REVIEW AND SYNTHESIS OF THE INTERPLAY BETWEEN INTERMEDIARIES AND INSTITUTIONS.
ZAINUDDIN, MOHAMMAD ; BHATT, BABITA ; QURESHI, ISRAR ; et al.
Academy of Management Annals. Jan206, Vol. 20 Issue 1, p34-75. 42p. 2 Color Photographs, 3 Diagrams, 2 Graphs.

Fachzeitschrift
Merkliste
13

Replicability and reproducibility of data-intensive design research using workflows - example in facial expression synchrony as a measure of empathy.
Ikäheimonen, Arsi ; Li, Jie ; Yao, Kai ; et al.
Journal of Engineering Design. Dec2025, Vol. 36 Issue 12, p2183-2203. 21p.

Fachzeitschrift
Merkliste
14

Data-driven review of blockchain applications in supply chain management: key research themes and future directions.
Van Nguyen, Truong ; Cong Pham, Hiep ; Nhat Nguyen, Minh ; et al.
International Journal of Production Research. Dec2023, Vol. 61 Issue 23, p8213-8235. 23p.

Fachzeitschrift
Merkliste
15

An overview of traditional and advanced methods to detect part defects in additive manufacturing processes.
Bhandarkar, Vivek V. ; Shahare, Harshal Y. ; Mall, Anand Prakash ; et al.
Journal of Intelligent Manufacturing. Oct2025, Vol. 36 Issue 7, p4411-4446. 36p.

Fachzeitschrift
Merkliste
16

Industry Surveys: Health Care Equipment & Supplies.
Meyer, Paige ; Suhaimi, Adam
Industry Survey - Health Care Equipment & Supplies. Oct2025, p1-52. 52p.

Merkliste
17

Text-To-Text Transfer Transformer Based Method for Generating Startup Scenarios for New Equipment in Power Grids.
Tao, Wenbiao ; Wang, Liang ; Meng, Qingmeng ; et al.
Applied Artificial Intelligence. 2024, Vol. 38 Issue 1, p1-18. 18p.

Fachzeitschrift
Merkliste
18

An intelligent framework for rework risk identification in prefabricated construction processes based on compliance checking
Engineering, Construction and Architectural Management, 2024, Vol. 32, Issue 8, pp. 5066-5098.

Fachzeitschrift
Merkliste
19

FEDERAL REGISTER.
Federal Register (National Archives & Records Service, Office of the Federal Register). 12/23/2025, Vol. 90 Issue 244, pI-60546. 609p.

Regierungsdokument
Merkliste
20

From Brochures to Bytes: Destination Branding through Social, Mobile, and AI—A Systematic Narrative Review with Meta-Analysis.
Chatzigeorgiou, Chryssoula ; Christou, Evangelos ; Simeli, Ioanna
Administrative Sciences (2076-3387). Sep2025, Vol. 15 Issue 9, p371. 57p.

Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter