• Suche: Formal Methods for Quantitative Aspects of Programming Languages

Treffer 1 - 20 von 80.930

1

Formal Methods for Quantitative Aspects of Programming Languages ; 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Aldini, Alessandro ; Bernardo, Marco ; Di Pierro, Alessandra ; et al.
Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783642136771 9783642136788

Buch
Merkliste
2

PL and HCI: Better Together.
CHASINS, SARAH E. ; GLASSMAN, ELENA L. ; SUNSHINE, JOSHUA
Communications of the ACM. Aug2021, Vol. 64 Issue 8, p98-106. 9p. 1 Color Photograph, 3 Charts.

Zeitschrift
Merkliste
4

Quantitative and qualitative safety analysis of a hemodialysis machine with S#.
Leupolz, Johannes ; Habermaier, Axel ; Reif, Wolfgang
Journal of Software: Evolution & Process; May2018, Vol. 30 Issue 5, p1-N.PAG, 14p

HEMODIALYSIS equipment PROBABILITY theory DOMAIN-specific programm... FORMAL methods (Computer... SIMULATION methods & mod...
Fachzeitschrift
Merkliste
7

An Automatically Verified Prototype of the Tokeneer ID Station Specification.
Cristiá, Maximiliano ; Rossi, Gianfranco
Journal of Automated Reasoning; Dec2021, Vol. 65 Issue 8, p1125-1151, 27p

UNITED States. National... PROGRAMMING languages FORMAL methods (Computer... RAPID prototyping CONSTRAINT programming
Fachzeitschrift
Merkliste
9

Decalf: A Directed, Effectful Cost-Aware Logical Framework
Grodin, Harrison ; Niu, Yue ; Sterling, Jonathan ; et al.

Computer Science - Progr...
Report
Merkliste
10

Schema Redescription in Cellular Automata: Revisiting Emergence in Complex Systems
Marques-Pita, Manuel ; Rocha, Luis M.
The 2011 IEEE Symposium on Artificial Life, at the IEEE Symposium Series on Computational Intelligence 2011. April 11 - 15, 201, Paris, France, pp: 233-240

Nonlinear Sciences - Cel... Computer Science - Artif... Computer Science - Forma... Computer Science - Neura... Quantitative Biology - Q...
Report
Merkliste
11

ADTLang: a programming language approach to attack defense trees.
Hansen, René Rydhof ; Larsen, Kim Guldstrand ; Legay, Axel ; et al.
International Journal on Software Tools for Technology Transfer; Feb2021, Vol. 23 Issue 1, p89-104, 16p

PROGRAMMING languages TRANSLATING & interpreti...
Fachzeitschrift
Merkliste
12

SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS.
BOSSE, TIBOR ; JONKER, CATHOLIJN M. ; VAN DER MEIJ, LOURENS ; et al.
International Journal of Cooperative Information Systems; Mar2009, Vol. 18 Issue 1, p167-193, 27p, 1 Color Photograph, 4 Diagrams

INFORMATION resources MATHEMATICAL models SIMULATION methods & mod... PROGRAMMING languages ELECTRONIC data processi...
Fachzeitschrift
Merkliste
13

Dieses Ergebnis kann Gästen nicht angezeigt werden.

14

Birth Outcomes, Health, and Health Care Needs of Childbearing Women following Wildfire Disasters: An Integrative, State-of-the-Science Review.
Evans, Jo ; Bansal, Amita ; Schoenaker, Danielle A. J. M. ; et al.
Environmental Health Perspectives. Aug2022, Vol. 130 Issue 8, p086001-1-086001-17. 17p. 1 Diagram, 4 Charts.

Diseases Smoke Wildfires Hypertension epidemiolog... CINAHL database Online information servi... …
Fachzeitschrift
Merkliste
15

Counting interface automata and their application in static analysis of actor models
Wandeler, E. ; Janneck, J.W. ; Lee, E.A. ; et al.
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) Software Engineering and Formal Methods Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on. :106-115 2005

Konferenz
Merkliste
16

Executable biochemical space for specification and analysis of biochemical systems.
Troják M ; Šafránek D ; Mertová L ; et al.
Publisher: Public Library of Science Country of Publication: United States NLM ID: 101285081 Publication Model: eCollection Cited Medium: Internet ISSN: 1932-6203 (Electronic) Linking ISSN: 19326203 NLM ISO Abbreviation: PLoS One Subsets: MEDLINE

Algorithms Humans Language Models, Theoretical Programming Languages Proteins chemistry …
Fachzeitschrift
Merkliste
17

An Analytical Study on the Singing Style of the Dambana Ādivāsi Community in Sri Lanka
Dasith Asela Tilakaratna Tilakaratna ; Iranga Samindani Weerakkody
Asian-European Music Research Journal, Vol 15, Pp 73-86 (2025)

Music M1-5000
Fachzeitschrift
Merkliste
18

Dieses Ergebnis kann Gästen nicht angezeigt werden.

19

Dieses Ergebnis kann Gästen nicht angezeigt werden.

20

Dieses Ergebnis kann Gästen nicht angezeigt werden.

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

Filter