• Suche: Transformation-Based Reactive Systems Development

Treffer 1 - 20 von 2.549

1

Deductive verification of real-time systems using STeP
Real-time systems and concurrent and distributed software; Transformation-based reactive systems development
Bjorner, N. S. ; Manna, Z. ; Sipma, H. B. ; et al.
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-. 253(1):27-60

Konferenz
Merkliste
2

Innovative strategies for the development of personnel management on the example of the construction sector.
Holovchenko, Serhii
Economics & Business Management. 2025, Vol. 16 Issue 1, p29-46. 18p.

Fachzeitschrift
Merkliste
4

Assessing environmental impacts of response strategies for sustainable food system transformation.
Yang, Jing ; Gao, Lei ; Liu, Qi ; et al.
Sustainable Development. Jun2024, Vol. 32 Issue 3, p2435-2453. 19p.

Fachzeitschrift
Merkliste
8

The miR396b-MsGRF1c module positively associates with alfalfa nodule senescence.
Yan J ; Liu Y ; Gao Y ; et al.
Publisher: Blackwell Scientific Publishers and BIOS Scientific Publishers in association with the Society for Experimental Biology Country of Publication: England NLM ID: 9207397 Publication Model: Print Cited Medium: Internet ISSN: 1365-313X (Electronic) Linking ISSN: 09607412 NLM ISO Abbreviation: Plant J Subsets: MEDLINE

Reactive Oxygen Species... Gene Expression Regulati... Plants, Genetically Modi... Plant Senescence genetic... Nitrogen Fixation RNA, Plant genetics …
Fachzeitschrift
Merkliste
9

Reactive model transformation with ATL
Martínez, Salvador ; Tisi, Massimo ; Douence, Rémi
In Science of Computer Programming 1 March 2017 136:1-16

Fachzeitschrift
Merkliste
10

THE TRANSFORMATION OF POLICING IN THE 21ST CENTURY: FROM A REACTIVE MODEL TO A PREVENTIVE MODEL.
George-Marius, Țical
German International Journal of Modern Science / Deutsche Internationale Zeitschrift für Zeitgenössische Wissenschaft. Nov2025, Issue 116, p39-44. 6p.

Fachzeitschrift
Merkliste
16

Transformation-Based Reactive Systems Development
Bertran, Miquel ; Rus, Teodor
Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783540630104 9783540690580

Buch
Merkliste
17

Privacy and biometrics for smart healthcare systems: attacks, and techniques.
Wells, Alec ; Usman, Aminu Bello
Information Security Journal: A Global Perspective. 2024, Vol. 33 Issue 3, p307-331. 25p.

Fachzeitschrift
Merkliste
18

Molecular dynamics simulations of proteins: an in-depth review of computational strategies, structural insights, and their role in medicinal chemistry and drug development.
Farhadi B ; Beygisangchin M ; Ghamari N ; et al.
Publisher: Springer Verlag Country of Publication: Germany NLM ID: 7502533 Publication Model: Electronic Cited Medium: Internet ISSN: 1432-0770 (Electronic) Linking ISSN: 03401200 NLM ISO Abbreviation: Biol Cybern Subsets: MEDLINE

Humans Molecular Dynamics Simul... Proteins chemistry Drug Development methods Chemistry, Pharmaceutica...
Fachzeitschrift
Merkliste
19

The Challenge of Introducing Sustainability‐Oriented Innovation—An Ethnographic Study.
Śliwińska, Irena ; Beńko, Piotr ; Breuer, Henning ; et al.
Sustainable Development. Jun2025, Vol. 33 Issue 3, p4191-4203. 13p.

Fachzeitschrift
Merkliste
20

DigStratCon: A Digital or Technology Strategy Framework.
Serrano, Will
Administrative Sciences (2076-3387). Nov2025, Vol. 15 Issue 11, p436. 42p.

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

Filter